Sciweavers

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