Abstract :
The following topics are dealt with: model-based testing for embedded and real-time systems; domain-specific approaches and tools ; regression testing; testing evolving systems; search-based software testing; testing techniques and experimentation benchmarks for event-driven software; variability-intensive systems testing, validation, and verification; software testing, verification, and analysis; mutation analysis; refactoring and testing; requirements and validation, verification, and testing; security testing; and testing and debugging.
Keywords :
formal verification; program debugging; program testing; real-time systems; security of data; debugging; embedded systems; event-driven software; model-based testing; mutation analysis; real-time systems; refactoring; regression testing; requirements; search-based software testing; security testing; software validation; software verification; testing evolving system; variability-intensive systems testing;
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on
