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

Full description

Bibliographic Details

Published in:	Information and software technology Vol. 66; pp. 40 - 57
Main Authors:	Do, TheAnh, Khoo, Siau-Cheng, Fong, Alvis Cheuk Ming, Pears, Russel, Quan, Tho Thanh
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.10.2015 Elsevier Science Ltd
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!