Data diversity: an approach to software fault tolerance, IEEE Transactions on Computers, vol.37, issue.4, pp.418-425, 1988. ,
DOI : 10.1109/12.2185
Theoretical Analysis of Local Search in Software Testing, Proceedings of the 5th international conference on Stochastic algorithms: foundations and applications , SAGA'09, pp.156-168, 2009. ,
DOI : 10.1007/s11633-007-0281-3
The v3f project, Proc. of the 1st workshop Constraints in Software Testing, Verification and Analysis (CSTVA'06), colocated with CP'06, 2006. ,
Symbolic execution of floating-point computations. The Software Testing, Verification and Reliability journal, pp.97-121, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00540299
Anr u3cat project report ? wp1: Floating-point computations, 2011. ,
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Dart: directed automated random testing, Proc. of PLDI'05, pp.213-223, 2005. ,
Automated metamorphic testing, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003. ,
DOI : 10.1109/CMPSAC.2003.1245319
Static Analyses of the Precision of Floating-Point Operations, Static Analysis Symposium (SAS'01) and also in LNCS 2126, pp.234-245, 2001. ,
DOI : 10.1007/3-540-47764-0_14
Testing continuous double auctions with a constraint-based oracle. In Principles and Practice of Constraint Programming -CP, number 6308 in LNCS, pp.613-627, 2010. ,
Test Selection Strategies for Lustre Descriptions in GATeL, Electronic Notes in Theoretical Computer Science, vol.111, pp.93-111, 2005. ,
DOI : 10.1016/j.entcs.2004.12.010
Improving the floating point addition and subtraction constraints [15] P. McMinn. Search-based software test data generation: A survey, Principles and Practice of Constraint Programming -CP'2010, pp.360-367105, 2004. ,
Exact projection functions for floating point number constraints, In Seventh Int. Symp. on Artificial Intelligence and MAthematics, 2002. ,
Solving Constraints over Floating-Point Numbers, Proceedings of Principles and Practices of Constraint Programming, pp.524-538, 2001. ,
DOI : 10.1007/3-540-45578-7_36
Automatic generation of floatingpoint test data, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.223-226, 1976. ,
Approximating floating-point operations to verify numerical programs, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'10), ENS, 2010. ,
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.131-142, 2010. ,
DOI : 10.1145/1831708.1831724
On Testing Non-Testable Programs, The Computer Journal, vol.25, issue.4, 1982. ,
DOI : 10.1093/comjnl/25.4.465