publication venue for
- Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. 33:1-37. 2024
- Dynamite. 23:1-37. 2014
- Efficient Analysis of DynAlloy Specifications. 17:1-34. 2007
- Metamodel-based model conformance and multiview consistency checking. 16:11-es. 2007
- Reasoning about static and dynamic properties in alloy. 14:478-526. 2005