Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Model-Driven Testing: Using the UML Testing Profile

Simulation Science: First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers