AuthorsM. Carlier, C. Dubois and A. Gotlieb
TitleFocalTest: a Constraint Programming Approach for Property-Based Testing
Afilliation, , Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeJournal Article
Year of Publication2013
JournalCommunications in Computer and Information Science
Number170
Pagination140-155
PublisherSpringer Berlin Heidelberg
Notes

Revised selected papers from ICSOFT 2010 - Edited by Cordeiro Virvou Shishkov (Eds), SPRINGER

Citation KeySimula.simula.2276