DocumentCode
3155403
Title
[Title page i]
fYear
2009
fDate
1-4 April 2009
Abstract
The following topics were dealt with: software testing; GUI testing; model checking;embedded and real-time testing; QA and test management; model-based testing; static analysis; security testing; test case generation; automation; Web testing; aspects and faults; mutation and nonfunctional testing; assertions and failure states.
Keywords
automation; graphical user interfaces; program diagnostics; program testing; quality assurance; security; GUI testing; QA; Web testing; assertions; automation; embedded testing; failure states; faults; model checking; model-based testing; mutation; nonfunctional testing; real-time testing; security testing; software testing; static analysis; test case generation; test management;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing Verification and Validation, 2009. ICST '09. International Conference on
Conference_Location
Denver, CO
Print_ISBN
978-1-4244-3775-7
Type
conf
DOI
10.1109/ICST.2009.1
Filename
4815324
Link To Document