DocumentCode
2164446
Title
Preface
fYear
2008
fDate
9-11 April 2008
Abstract
Topics covered include the following: software testing verification; software validation; focussed software system testing; model-based tools; object-oriented software engineering; formal methods; scalable MBT solutions; complex system functionality.
Keywords
formal verification; program testing; program verification; complex system functionality; focussed software system testing; formal methods; model-based tools; object-oriented software engineering; scalable MBT solutions; software testing verification; software validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing Verification and Validation Workshop, 2008. ICSTW '08. IEEE International Conference on
Conference_Location
Lillehammer
Print_ISBN
978-0-7695-3388-9
Type
conf
DOI
10.1109/ICSTW.2008.32
Filename
4566985
Link To Document