Sciweavers

18 search results - page 1 / 4
» issta 2000
Sort
View
ISSTA
2000
ACM
13 years 9 months ago
Automated Testing of Classes
Ugo A. Buy, Alessandro Orso, Mauro Pezzè
ISSTA
2000
ACM
13 years 9 months ago
Prioritizing test cases for regression testing
Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg ...
ISSTA
2000
ACM
13 years 9 months ago
Improving the precision of INCA by preventing spurious cycles
Ì ÁÒ ÕÙ Ð ØÝ Æ ×× ÖÝ ÓÒ Ø ÓÒ Ò ÐÝÞ Ö ´ÁÆ µ × ¬Ò Ø ¹×Ø Ø Ú Ö ¬ Ø ÓÒ ØÓÓÐ Ø Ø × Ò Ð ØÓ ÔÖÓÔ¹ ÖØ × Ó ×ÓÑ Ú ÖÝ Ð Ö...
Stephen F. Siegel, George S. Avrunin
ISSTA
2000
ACM
13 years 9 months ago
Putting static analysis to work for verification: A case study
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhar...