Constantin Mensendiek

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Integration Testing

Software Systems

Emergent Behavior

Top Venues

Publications

Nils Wild, Horst Lichter, Constantin Mensendiek
Expectation-Based Integration Testing of Unidirectional Interactions in Component-Based Software Systems. ENASE (2024)
Jera Hensel, Constantin Mensendiek, Jürgen Giesl
AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). TACAS (2) (2022)