enter search term and/or author name
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)
David Notkin, Mauro Pezzè
Article No.: 6
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Article No.: 7
Finite-state verification techniques are often hampered by the state-explosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning, where a system under analysis is partitioned into subsystems and these...
DSD-Crasher: A hybrid analysis tool for bug finding
Christoph Csallner, Yannis Smaragdakis, Tao Xie
Article No.: 8
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis:
D. Capture the program's intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the...
This article addresses the challenge of sound typestate verification, with acceptable precision, for real-world Java programs. We present a novel framework for verification of typestate properties, including several new techniques to precisely...
Combining symbolic execution with model checking to verify parallel numerical programs
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke
Article No.: 10
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. This method requires that a sequential version of the program be provided,...
Impact of classes of development coordination tools on software development performance: A multinational empirical study
Article No.: 11
Although a diverse variety of software development coordination tools are widely used in practice, considerable debate surrounds their impact on software development performance. No large-scale field research has systematically examined their...