CITATION STYLE
Carlier, M., Dubois, C., & Gotlieb, A. (2013). FocalTest: A Constraint Programming Approach for Property-Based Testing (pp. 140–155). https://doi.org/10.1007/978-3-642-29578-2_9
Mendeley helps you to discover research relevant for your work.