Guest Editors' Introduction: 2000 International Symposium on Software Testing and Analysis
Harrold, M.J.; Bertolino, A.
Page(s): 113-114
Digital Object Identifier 10.1109/TSE.2002.988493 Abstract
| Full Text: PDF (64 KB)
Rights and Permissions
Improving the precision of INCA by eliminating solutions with
spurious cycles
Siegel, S.F.; Avrunin, G.S.
Page(s): 115-128
Digital Object Identifier 10.1109/32.988494 Abstract
| Full Text: PDF (235 KB)
Rights and Permissions
Verisim: formal analysis of network simulations
Bhargavan, K.; Gunter, C.A.; Moonjoo Kim; Insup Lee; Obradovic, D.; Sokolsky, O.; Viswanathan, M.
Page(s): 129-145
Digital Object Identifier 10.1109/32.988495 Abstract
| Full Text: PDF (462 KB)
Rights and Permissions
Requirements-based monitors for real-time systems
Peters, D.K.; Parnas, D.L.
Page(s): 146-158
Digital Object Identifier 10.1109/32.988496 Abstract
| Full Text: PDF (444 KB)
Rights and Permissions
Test case prioritization: a family of empirical studies
Elbaum, S.; Malishevsky, A.G.; Rothermel, G.
Page(s): 159-182
Digital Object Identifier 10.1109/32.988497 Abstract
| Full Text: PDF (1359 KB)
Rights and Permissions
Simplifying and isolating failure-inducing input
Zeller, A.; Hildebrandt, R.
Page(s): 183-200
Digital Object Identifier 10.1109/32.988498 Abstract
| Full Text: PDF (676 KB)
Rights and Permissions
Cart
