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;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
Conference_Location :
Luembourg
Print_ISBN :
978-1-4673-5961-0
DOI :
10.1109/ICST.2013.85
