DocumentCode
2304008
Title
[Front cover]
fYear
2011
fDate
21-25 March 2011
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on
Conference_Location
Berlin
Print_ISBN
978-1-4577-0019-4
Type
conf
DOI
10.1109/ICSTW.2011.105
Filename
5954486
Link To Document