| Title | Publication Date | Language | Citations |
|---|---|---|---|
| Model-Driven Software Engineering in Practice: Second Edition | 2017/03/30 | English | 7 |
| Testing iOS Apps with HadoopUnit: Rapid Distributed GUI Testing | 2014/11/30 | English | |
| Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security | 2020/05/13 | English | |
| Java Software Development with Event-B: A Practical Guide | 2020/01/25 | English | |
| Model-Driven Software Engineering in Practice | 2012/09/21 | English | |
| Hard Problems in Software Testing: Solutions Using Testing as a Service (TaaS) | 2014/08/31 | English |