Exploiting symmetries to test programs

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2003-January, Issue , 2003, Pages 365-374

  Gotlieb, A ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

GROUP THEORY; SOFTWARE RELIABILITY;

AUTOMATIC TEST DATA GENERATION; PRACTICAL PROCEDURES; PRIMITIVE OPERATIONS; PROGRAM EXECUTION; PROGRAM TESTING; SYMMETRY RELATIONS; TEST PROGRAM; TESTING PROCESS;

SOFTWARE TESTING;

EID: 84954454880     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2003.1251058     Document Type: Conference Paper

References (21)

1. P. E. Ammann and J. C. Knight. Data diversity: An approach to software fault tolerance. IEEE Trans. on Computers, 37(4):418-425, 1988.
2. M. A. Armstrong. Groups and Symmetry (Undergraduate Texts in Mathematics). Springer Verlag, second edition, 1988.
3. G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Soft. Eng. Jour., 6(6):387-405, 1991.
4. M. Blum and S. Kannan. Designing programs that check their work. Jour. of the Assoc. for Computing Machinery, 42(1):269-291, Jan. 1995.
5. R. Boyer, B. Elspas, and K. Levitt. SELECT - A formal system for testing and debugging programs by symbolic execution. SIGPLAN Notices, 10(6):234-245, June 1975.
6. T. Chen, T. Tse, and Z. Zhou. Fault-based testing in the absence of an oracle. In IEEE Int. Comp. Soft. and App. Conf. (COMPSAC), pages 172-178, 2001.
7. T. Chen, T. Tse, and Z. Zhou. Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. In ACM Int. Symp. on Soft. Testing and Analysis (ISSTA), pages 191-195, 2002.
8. L. Clarke. A System to Generate Test Data and Symbolically Execute Programs. IEEE Trans. on Soft. Eng., SE-2(3):215-222, September 1976.
9. N. Daley, D. Hoffman, and P. Strooper. A framework for table driven testing of Java classes. Soft. Prac. and Exper., 32(5):465-493, Apr. 2002.
10. R. A. Demillo and A. J. Offut. Constraint-Based Automatic Test Data Generation. IEEE Trans. on Soft. Eng., 17(9):900-910, Sep. 1991.
11. P. Devanbu and S. G. Stubblebine. Cryptographic verification of test coverage claims. In M. Jazayeri and H. Schauer, editors, Proc. of the European Soft. Eng. Conf. (ESEC/FSE), pages 395-413. LNCS 1013, Sept. 1997.
12. J. Duran and S. Ntafos. An evaluation of random testing. IEEE Trans. on Soft. Eng., 10(4):438-444, Jul. 1984.
13. A. Gotlieb and B. Botella. Automated metamorphic testing. In 27th IEEE An. Int. Comp. Soft. and App. Conf. (COMPSAC), Dallas, TX, USA, Nov. 2003.
14. A. Gotlieb, B. Botella, and M. Rueher. Automatic Test Data Generation Using Constraint Solving Techniques. In ACM Int. Symp. on Soft. Testing and Analysis (ISSTA). Soft. Eng. Notes,23(2):53-62, 1998.
15. B. Korel. Automated Software Test Data Generation. IEEE Trans. on Soft. Eng., 16(8):870-879, Jul. 1990.
16. G. J. Myers. The Art of Software Testing. John Wiley, New York, 1979.
17. J. M. Voas. Certifying off-the-shelf software components. Computer, 31(6):53-59, June 1998.
18. P. Wadler. Theorems for free! In FPCA'89, London, England, pages 347-359. ACM Press, Sept. 1989.
19. E. Weyuker. On testing non-testable programs. Computer Journal, 25(4):465-470, 1982.
20. E. Weyuker, T. Goradia, and A. Singh. Automatically generating test data from a Boolean specification. IEEE Trans. on Soft. Eng., 20(5):353-363, May 1994.
21. T. Wood, K. Miller, and R. E. Noonan. Local exhaustive testing: a software reliability tool. In Proc. of the Southeast regional conf., pages 77-84. ACM Press, 1992.