Constantin Mensendiek

According to our database, Constantin Mensendiek authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Expectation-Based Integration Testing of Unidirectional Interactions in Component-Based Software Systems.

Nils Wild, Horst Lichter, Constantin Mensendiek

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2022

AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution).

Jera Hensel, Constantin Mensendiek, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022