FocalTest: a Constraint Programming Approach for Property-Based Testing
- Authors
- M. Carlier, C. Dubois and A. Gotlieb
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2013
- Journal
- Communications in Computer and Information Science
- Publisher
- Springer Berlin Heidelberg
- Notes
- Revised selected papers from ICSOFT 2010 - Edited by Cordeiro Virvou Shishkov (Eds), SPRINGER
- Citation key
- 8861