Coverage analysis of airborne software testing based on DO-178B standard

A comparison of standards for software e

A comparison of standards for software engineering based on DO-178B for certification of avionics systems

✍ H.H. Hesselink 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 417 KB

Research on software testing technique o

Research on software testing technique of airborne equipment based on airworthiness

✍ Feng Tingting; Zhao Yuerang; Hou Xiaojun; Sun Yan; Bao Yu 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 763 KB

A coverage analysis tool for the effecti

A coverage analysis tool for the effective of software testing : MICHAEL R. LYU, J. R. HOGAN and SAUL LONDON. IEEE Transactions on Reliability, 43(4), 527 (December 1994)

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 115 KB

[ACM Press the 2012 International Sympos

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - A quantitative study of accuracy in system call-based malware detection

✍ Canali, Davide; Lanzi, Andrea; Balzarotti, Davide; Kruegel, Christopher; Christo 📂 Article 📅 2012 🏛 ACM Press ⚖ 576 KB

[ACM Press the 2012 International Sympos

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - A quantitative study of accuracy in system call-based malware detection

✍ Canali, Davide; Lanzi, Andrea; Balzarotti, Davide; Kruegel, Christopher; Christo 📂 Article 📅 2012 🏛 ACM Press ⚖ 576 KB

Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been proposed to mitigate the malware threat. A running theme among existing detection techniques is the similar promises of high det