Publications

(2025). Understanding Reasoning in Thinking Language Models via Steering Vectors. Workshop on Reasoning and Planning for Large Language Models (ICLR 2025).

PDF

(2024). InterpBench: Semi-Synthetic Transformers for Evaluating Mechanistic Interpretability Techniques. 38th Conference on Neural Information Processing Systems (NeurIPS 2024) Track on Datasets and Benchmarks..

PDF

(2024). WallMauer: Robust Code Coverage Instrumentation for Android Apps. 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024).

PDF

(2024). Brewing Up Reliability: Espresso Test Generation for Android Apps. 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024).

PDF

(2021). An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. Journal of Software: Evolution and Process (JSEP), Volume 35, Issue 4, 2023.

PDF

(2020). Search-Based Test Generation for Android Apps. Companion Proceedings of the 42nd International Conference on Software Engineering (Doctoral Symposium at ICSE 2020).

PDF

(2020). Algorithm or Representation? An Empirical Study on How SAPIENZ Achieves Coverage. 1st ACM/IEEE International Conference on Automation of Software Test (AST 2020).

PDF