Abstract :
The following topics are dealt with: software testing; software verification; software validation; handling models; fault localization; database management systems; graphical user interface; constraint solving; Web applications; test evolution; domain-specific testing; state-based testing; failure analysis; test automation; test case generation; load testing; mutation analysis; regression testing; data visualization; and security testing.
Keywords :
Internet; constraint handling; data visualisation; database management systems; formal verification; graphical user interfaces; program testing; regression analysis; security of data; software fault tolerance; Web application; constraint solving; data visualization; database management systems; domain-specific testing; failure analysis; fault localization; graphical user interface; handling models; load testing; mutation analysis; regression testing; security testing; software testing; software validation; software verification; state-based testing; test automation; test case generation; test evolution;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
Conference_Location :
Montreal, QC
Print_ISBN :
978-1-4577-1906-6
DOI :
10.1109/ICST.2012.230
