Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 16 Issue 3, July 2007

Test conditions for fault classes in Boolean specifications
Kalpesh Kapoor, Jonathan P. Bowen
Article No.: 10
DOI: 10.1145/1243987.1243988

Fault-based testing of software checks the software implementation for a set of faults. Two previous papers on fault-based testing [Kuhn 1999; Tsuchiya and Kikuno 2002] represent the required behavior of the software as a Boolean specification...

Metamodel-based model conformance and multiview consistency checking
Jonathan S. Ostroff, Phillip J. Brooke, Richard F. Paige
Article No.: 11
DOI: 10.1145/1243987.1243989

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent....

Model checking the Java metalocking algorithm
Scott A. Smolka, Samik Basu
Article No.: 12
DOI: 10.1145/1243987.1243990

We report on our efforts to use the XMC model checker to model and verify the Java metalocking algorithm. XMC [Ramakrishna et al. 1997] is a versatile and efficient model checker for systems specified in XL, a highly expressive value-passing...