Publications

Found 2 results
Filters: Author is Marco Scaletta  [Clear All Filters]
2021
E. Kamburjan, Scaletta, M., and Rollshausen, N., “Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects”, ArXiv E-Print 2102.10127: https://doi.org/10.48550/arXiv.2102.10127. ArXiv, pp. 1-12, 2021.
M. Scaletta, Hähnle, R., Steinhöfel, D., and Bubel, R., “Delta-based verification of software product families”, in Proceedings of the 24th ACM SIGPLAN International Confernce on Generative Programming: Concepts and Experiences (GPCE), 2021, pp. 69-82.