Testing

Language-Based Testing for Knowledge Graphs
Proc. ESWC 2025. Springer 2025. To appear.
Preprint Cite Project Artifact
Language-Based Testing for Knowledge Graphs
Mutation-Based Integration Testing of Knowledge Graph Applications
Proc. ISSRE 2024. IEEE 2024.
Preprint Cite Code Project DOI
Mutation-Based Integration Testing of Knowledge Graph Applications
Formal Specification and Testing for Reinforcement Learning
Proc. ICFP 2023. ACM 2023.
Preprint Cite Video DOI Artefact Github
Formal Specification and Testing for Reinforcement Learning
Dynamic Symbolic Execution for Testing Distributed Objects
Proc. TAP 2009
Preprint Cite DOI
Testing Concurrent Objects with Application-Specific Schedulers
Proc. ICTAC 2008
Preprint Cite DOI