Goal-oriented dynamic test generation

Memory safety errors such as buffer overflow vulnerabilities are one of the most serious classes of security threats. Detecting and removing such security errors are important tasks of software testing for improving the quality and reliability of software in practice. This paper presents a goal-orie...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and software technology Jg. 66; S. 40 - 57
Hauptverfasser:	Do, TheAnh, Khoo, Siau-Cheng, Fong, Alvis Cheuk Ming, Pears, Russel, Quan, Tho Thanh
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.10.2015 Elsevier Science Ltd
Schlagworte:	Algorithms Buffer overflow vulnerabilities Data and control dependence analysis Dynamic symbolic execution Security management Software Software quality Studies Type inference analysis Buffer overflow vulnerabilities Type inference analysis Dynamic symbolic execution Data and control dependence analysis
ISSN:	0950-5849, 1873-6025
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!