Title :
Testing: Academic and Industrial Conference - Practice And Research Techniques - Title
Abstract :
The following topics are dealt with: software testing; software fault prediction; automated inference and abstraction
Keywords :
program testing; program verification; software fault tolerance; automated abstraction; automated inference; software fault prediction; software testing;
Conference_Titel :
Testing: Academic and Industrial Conference - Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings
Conference_Location :
Windsor
Print_ISBN :
0-7695-2672-1
DOI :
10.1109/TAIC-PART.2006.31
