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;
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
DOI :
10.1109/ICSTW.2008.32
