Query-Driven Program Testing.

We present a new approach to program testing which enables the programmer to specify test suites in terms of a versatile query language. Our query language subsumes standard coverage criteria ranging from simple basic block coverage all the way to predicate complete coverage and multiple condition c...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Holzer, A, Schallhart, C, Tautschnig, M, Veith, H
Diğer Yazarlar: Jones, N
Materyal Türü: Journal article
Dil:English
Baskı/Yayın Bilgisi: Springer 2009