R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229, 1993.
DOI : 10.1007/3-540-57318-6_30

K. Burr and W. Young, Combinatorial test techniques: Table-based automation , test generation and code coverage, Proceedings of the Intl. Conf. on Software Testing Analysis and Review, pp.503-513, 1998.

A. Calvagna and A. Gargantini, A Logic-Based Approach to Combinatorial Testing with Constraints, Tests and Proofs, pp.66-83, 2008.
DOI : 10.1007/978-3-540-79124-9_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Claessen and J. Hughes, Quickcheck: a lightweight tool for random testing of haskell programs, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, ICFP '00, pp.268-279, 2000.

D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997.
DOI : 10.1109/32.605761

D. M. Cohen, S. R. Dalal, J. Parelius, and G. C. Patton, The combinatorial design approach to automatic test generation. Software, IEEE, vol.13, issue.5, pp.83-88, 1996.
DOI : 10.1109/52.536462

A. Richard, A. J. Demillo, and . Offutt, Constraint-based automatic test data generation, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol.17, issue.9, pp.900-910, 1991.

I. S. Dunietz, W. K. Ehrlich, B. D. Szablak, C. L. Mallows, and A. Iannino, Applying design of experiments to software testing, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.205-215, 1997.
DOI : 10.1145/253228.253271

P. Koopman, A. Alimarine, and R. Plasmeijer, Gast: Generic Automated Software Testing, Proceedings of the 14th international conference on Implementation of functional languages, IFL'02, pp.84-100, 2003.
DOI : 10.1007/3-540-44854-3_6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Kuhn and M. Reilly, An investigation of the applicability of design of experiments to software testing, 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings., 2002.
DOI : 10.1109/SEW.2002.1199454

R. Lozano, C. Schulte, and L. Wahlberg, Testing continuous double auctions with a constraint-based oracle, Proceedings of the 16th international conference on Principles and practice of constraint programming, pp.613-627, 2010.

R. Dolores, D. R. Wallace, and . Kuhn, Failure modes in medical device software: an analysis of 15 years of recall data, ACS/ IEEE International Conference on Computer Systems and Applications, pp.301-311, 2001.