Semantic mutation analysis of floating-point comparison

Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012

Volumn , Issue , 2012, Pages 290-299

  Dan, Haitao ^a   Hierons, Robert M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C PROGRAMS; CAPTURE ERROR; DESCRIPTION LANGUAGES; FLOATING POINTS; MANUAL TESTS; MUTATION ANALYSIS; MUTATION OPERATORS; MUTATION TESTING; RANDOM TESTS; TEST DATA;

ALGORITHMS; DIGITAL ARITHMETIC; ERRORS; EXPERIMENTS; PROBLEM ORIENTED LANGUAGES; SEMANTICS; TESTING;

SOFTWARE TESTING;

EID: 84862323215     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2012.109     Document Type: Conference Paper

References (28)

1. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is mutation an appropriate tool for testing experiments?" in Proceedings of 27th International Conference on Software Engineering, St. Louis, USA, 2005, pp. 402-411.
2. R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practical programmer," IEEE Computer, vol. 11, no. 4, pp. 31-41, 1978.
3. P. G. Frankl, S. N. Weiss, and C. Hu, "All-uses vs mutation testing: An experimental comparison of effectiveness," Journal of Systems Software, vol. 38, no. 3, pp. 235-253, 1997. (Pubitemid 127384432)
4. R. M. Hierons, M. Harman, and S. Danicic, "Using program slicing to assist in the detection of equivalent mutants," Journal of Software Testing, Verification and Reliability, vol. 9, no. 4, pp. 233-262, 1999. (Pubitemid 30546632)
5. A. J. Offutt, "Investigations of the software testing coupling effect," ACM Transactions on Software Engineering Methodology, vol. 1, no. 1, pp. 3-18, 1992.
6. Y. Jia and M. Harman, "An analysis and survey of the development of mutation testing," IEEE Transactions on Software Engineering, vol. 37, pp. 649-678, 2011.
7. J. A. Clark, H. Dan, and R. M. Hierons, "Semantic mutation testing," Science of Computer Programming, vol. In Press, Corrected Proof, pp. -, 2011.
8. L. Hatton, Safer C: Developing software for high-integrity and safety-critical systems. McGraw-Hill London, 1994.
9. R. Seacord, Secure Coding in C and C++. Addison-Wesley Professional, 2005.
10. D. Knuth, The art of computer programming: Seminumerical algorithms, volume 2. Addison-Wesley, 1981.
11. R. Gentleman, R. Ihaka et al., "The R project for statistical computing," http://www.r-project.org, Accessed in 2011.
12. B. Kernighan and D. Ritchie, "The C programming language,"1988.
13. A. X3J9, ISO/IEC 9899-1999, Programming Languages - C. ISO, 1999.
14. A. Koenig, C traps and pitfalls. Addison Wesley, 1989.
15. J. Cordy, "TXL-a language for programming language tools and applications," Electronic notes in theoretical computer science, vol. 110, pp. 3-31, 2004. (Pubitemid 41081878)
16. "Check: A unit testing framework for C,"http://check. sourceforge.net/, Accessed in 2011.
17. "IEEE Standard for Floating-Point Arithmetic," IEEE Std 754-2008, pp. 1-58, 29 2008.
18. D. Goldberg, "What every computer scientist should know about floating-point arithmetic," ACM Computing Surveys, vol. 23, no. 1, pp. 5-48, 1991. (Pubitemid 21723680)
19. T. Belding, "fcmp," http://fcmp.sourceforge.net/, Accessed in 2011.
20. ISO/IEC, "10967-1,2,3: Information technology-Language independent arithmetic," International Organization for Standardization, 1994, 2001, 2006.
21. S. Oberman and M. Flynn, "Design issues in division and other floating-point operations," IEEE Transactions on Computers, vol. 46, no. 2, pp. 154-161, 2 1997.
22. E. Goubault, "Static analyses of the precision of floating-point operations," in Proceedings of 8th International Symposium on Static Analysis, London, UK, 2001, pp. 234-259.
23. M. Martel, "Semantics-based transformation of arithmetic expressions," in Proceedings of 8th International Symposium on Static Analysis, Kongens Lyngby, Denmark, 2007, pp. 298-314.
24. E. Tang, E. T. Barr, X. Li, and Z. Su, "Perturbing numerical calculations for statistical analysis of floating-point program (in)stability," in Proceedings of 19th International Symposium on Software Testing and Analysis, Trento, Italy, 2010, pp. 131-142.
25. C. Cadar, D. Dunbar, and D. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs," in Proceedings of 8th UESNIX conference on Operating systems design and implementation, Berkeley, USA, 2008, pp. 209-224.
26. P. Collingbourne, C. Cadar, and P. H. Kelly, "Symbolic cross-checking of floating-point and SIMD code," in Proceedings of 6th conference on Computer systems, NY, USA, 2011, pp. 315-328.
27. K. Lakhotia, N. Tillmann, M. Harman, and J. de Halleux, "Flopsy - search-based floating point constraint solving for symbolic execution," in Testing Software and Systems, ser. Lecture Notes in Computer Science, 2010, vol. 6435, pp. 142-157.
28. B. Botella, A. Gotlieb, and C. Michel, "Symbolic execution of floating-point computations," Journal of Software Testing, Verification and Reliability, vol. 16, no. 2, pp. 97-121, 2006.