FocalTest: A Constraint Programming Approach for Property-Based Testing

This publication has 17 references indexed in Scilit:

• Development Life-cycle of Critical Software Under FoCaL
  Electronic Notes in Theoretical Computer Science, 2009
• Data-flow testing of declarative programs
  ACM SIGPLAN Notices, 2008
• Constraint Prioritization for Efficient Analysis of Declarative Models
  2008
• EasyCheck — Test Data for Free
  2008
• DART
  ACM SIGPLAN Notices, 2005
• Gast: Generic Automated Software Testing
  Lecture Notes in Computer Science, 2003
• QuickCheck
  ACM SIGPLAN Notices, 2000
• Automatic test data generation using constraint solving techniques
  ACM SIGSOFT Software Engineering Notes, 1998
• Property-based testing
  ACM SIGSOFT Software Engineering Notes, 1997
• Lambda lifting: Transforming programs to recursive equations
  1985