ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17 Issue 2, April 2008

Editorial
David Notkin
Article No.: 5
DOI: 10.1145/1348250.1348251

Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006)
David Notkin, Mauro Pezzè
Article No.: 6
DOI: 10.1145/1348250.1348252

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
DOI: 10.1145/1348250.1348253

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
DOI: 10.1145/1348250.1348254

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...

Effective typestate verification in the presence of aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Article No.: 9
DOI: 10.1145/1348250.1348255

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
DOI: 10.1145/1348250.1348256

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
Amrit Tiwana
Article No.: 11
DOI: 10.1145/1348250.1348257

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...