Yazar
Paul E Ammann
3 cilt bulundu.
Cilt sonuçları
A specification-based coverage metric to evaluate test sets
Paul E Ammann · U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
27 sayfa · 1999
Testing / Software measurement / Evaluation / Computer software
Abstracting formal specifications to generate software tests via model checking
Paul E Ammann · U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
25 sayfa · 1999
Computer software / Specifications / Testing
Using model checking to generate tests from specifications
Paul E Ammann · U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
Sayfa sayısı yok · 1998
Testing / Computer software