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...

Celý popis

Podrobná bibliografia

Vydané v:	Information and software technology Ročník 66; s. 40 - 57
Hlavní autori:	Do, TheAnh, Khoo, Siau-Cheng, Fong, Alvis Cheuk Ming, Pears, Russel, Quan, Tho Thanh
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 01.10.2015 Elsevier Science Ltd
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!