Sciweavers

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