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
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 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=10.1.1.153.2498
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. ,
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
The combinatorial design approach to automatic test generation. Software, IEEE, vol.13, issue.5, pp.83-88, 1996. ,
DOI : 10.1109/52.536462
Constraint-based automatic test data generation, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol.17, issue.9, pp.900-910, 1991. ,
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
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=10.1.1.10.1101
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
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. ,
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. ,