1. Using SPIN for automated debugging of infinite executions of Java programs
2. A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications
3. B.
Aichernig A.
Griesmayer E.
Johnsen R.
Schlatte and
A.
Stam
.
Conformance testing of distributed concurrent systems with executable designs. In F. de Boer M. Bonsangue and E. Madelaine editors Formal Methods for Components and Objects volume
5751
of
Lecture Notes in Computer Science pages 61–
81
. Springer Berlin Heidelberg 2009. 10.1007/978-3-642-04167-9_4 B. Aichernig A. Griesmayer E. Johnsen R. Schlatte and A. Stam. Conformance testing of distributed concurrent systems with executable designs. In F. de Boer M. Bonsangue and E. Madelaine editors Formal Methods for Components and Objects volume 5751 of Lecture Notes in Computer Science pages 61–81. Springer Berlin Heidelberg 2009. 10.1007/978-3-642-04167-9_4
4. On the effectiveness of contracts as test oracles in the detection and diagnosis of functional faults in concurrent object-oriented software. Software Engineering;Araujo W.;IEEE Transactions on,2014
5. C. Artho. Finding faults in multi-threaded programs. Master’s thesis Swiss Federal Institute of Technology ETH Zˇ urich Zˇ urich 2001. C. Artho. Finding faults in multi-threaded programs. Master’s thesis Swiss Federal Institute of Technology ETH Zˇ urich Zˇ urich 2001.