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á bibliografie

Vydáno v:	Information and software technology Ročník 66; s. 40 - 57
Hlavní autoři:	Do, TheAnh, Khoo, Siau-Cheng, Fong, Alvis Cheuk Ming, Pears, Russel, Quan, Tho Thanh
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.10.2015 Elsevier Science Ltd
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!