enter search term and/or author name
Test conditions for fault classes in Boolean specifications
Kalpesh Kapoor, Jonathan P. Bowen
Article No.: 10
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
Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
Article No.: 11
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....
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...