DocumentCode
625490
Title
[Front-cover]
fYear
2013
fDate
18-22 March 2013
Abstract
The following topics are dealt with: software testing; software verification; software validation; industrial context; mutation testing; software safety; debugging; fault localization; concurrency; model-based testing; coverage-based testing; combinatorial testing; defect prediction; program repair; test-case selection; test-case prioritization; software maintenance; test case generation; and security.
Keywords
concurrency control; fault diagnosis; program debugging; program testing; program verification; security of data; software maintenance; combinatorial testing; concurrency; coverage-based testing; debugging; defect prediction; fault localization; industrial context; model-based testing; mutation testing; program repair; security; software maintenance; software safety; software testing; software validation; software verification; test case generation; test-case prioritization; test-case selection;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Conference_Location
Luembourg
Print_ISBN
978-1-4673-5961-0
Type
conf
DOI
10.1109/ICST.2013.85
Filename
6569699
Link To Document