Abstract :
The following topics are dealt with: software verification; software validation; debugging and testing techniques.
Keywords :
program debugging; program testing; program verification; debugging; software validation; software verification; testing techniques;
Conference_Titel :
Advances in System Testing and Validation Lifecycle (VALID), 2010 Second International Conference on
Conference_Location :
Nice
Print_ISBN :
978-1-4244-7784-5
DOI :
10.1109/VALID.2010.1
