Checking Java Assertions Using Automated Test-Case Generation
From MaRDI portal
Publication:5743595
DOI10.1007/978-3-319-27436-2_13zbMath1473.68036MaRDI QIDQ5743595
Manuel Montenegro, Vincent von Hof, Herbert Kuchen, Rafael Caballero
Publication date: 5 February 2016
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-27436-2_13
68N15: Theory of programming languages
Related Items
Uses Software
Cites Work