publication venue for
- Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. 163:107286-107286. 2023
- XRound: A reversible template language and its application in model-based security analysis. 51:876-893. 2009
- Principles for modeling language design. 42:665-675. 2000
- When are methods complementary?. 41:157-162. 1999
- Comparison of manual and automated marking of student programs. 30:547-552. 1988