Towards a Framework for Constraint-Based Test Case Generation
From MaRDI portal
Publication:3558292
DOI10.1007/978-3-642-12592-8_10zbMath1284.68174OpenAlexW1538845183MaRDI QIDQ3558292
Wim Vanhoof, Tom Schrijvers, François Degrave
Publication date: 4 May 2010
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-642-12592-8_10
Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software