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;
Conference_Titel :
Software Testing Verification and Validation, 2009. ICST '09. International Conference on
Conference_Location :
Denver, CO
Print_ISBN :
978-1-4244-3775-7
DOI :
10.1109/ICST.2009.1
