Search-based synthesis of equivalent method sequences

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn 16-21-November-2014, Issue , 2014, Pages 366-376

  Goffi, Alberto ^a   Gorla, Alessandra ^b   Mattavelli, Andrea ^a   Pezzè, Mauro ^a,d   Tonellax, Paolo ^c  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b SAARLAND UNIVERSITY   (Germany)

^c FONDAZIONE BRUNO KESSLER   (Italy)

^d UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

Equivalent method sequences; Redundancy; Search based software engineering; Specification mining

Indexed keywords

FAULT TOLERANCE; REDUNDANCY; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; SPECIFICATIONS;

EXECUTION SCENARIO; FUNCTIONAL BEHAVIORS; METAMORPHIC TESTING; METHOD SEQUENCES; RELIABILITY TECHNIQUES; SEARCH-BASED SOFTWARE ENGINEERING; SEQUENCES OF OPERATIONS; SPECIFICATION MINING;

EQUIVALENCE CLASSES;

EID: 84986879664     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2635868.2635888     Document Type: Conference Paper

References (31)

1. L. Baresi, P. L. Lanzi, and M. Miraz. Testful: An evolutionary test approach for java. In IEEE International Conference on Software Testing, Verification and Validation (ICST), pages 185-194, 2010.
2. B. Baudry, S. Allier, and M. Monperrus. Tailored source code transformations to synthesize computationally diverse program variants. In ACM International Symposium on Software Testing and Analysis (ISSTA), pages 149-159, 2014.
3. I. Beschastnikh, Y. Brun, J. Abrahamson, M. D. Ernst, and A. Krishnamurthy. Unifying FSM-inference algorithms through declarative specification. In ACM/IEEE International Conference on Software Engineering (ICSE), 2013.
4. A. Carzaniga, A. Goffi, A. Gorla, A. Mattavelli, and M. Pezzè. Cross-Checking Oracles From Intrinsic Software Redundancy. In ACM/IEEE International Conference on Software Engineering (ICSE), 2014.
5. A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezzè. Automatic recovery from runtime failures. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 782-791, 2013.
6. A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè. Automatic workarounds for Web applications. In ACM Symposium on the Foundations of Software Engineering (FSE), pages 237-246, 2010.
7. A. Carzaniga, A. Gorla, and M. Pezzè. Handling software faults with redundancy. In R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. H. ter Beek, editors, Architecting Dependable Systems VI, LNCS, pages 148-171. Springer, 2009.
8. T. Y. Chen, F.-C. Kuo, T. H. Tse, and Z. Q. Zhou. Metamorphic testing and beyond. In International Workshop on Software Technology and Engineering Practice (STEP), pages 94-100, 2003.
9. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer. ARTOO: adaptive random testing for object-oriented software. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 71-80, 2008.
10. C. Csallner, N. Tillmann, and Y. Smaragdakis. Dysy: Dynamic symbolic execution for invariant inference. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 281-290, 2008.
11. V. Dallmeier, N. Knopp, C. Mallon, G. Fraser, S. Hack, and A. Zeller. Automatically generating test cases for specification mining. IEEE Transactions on Software Engineering (TSE), 38(2):243-257, 2012.
12. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering (TSE), 27(2):99-123, 2001.
13. R. Feldt. Generating diverse software versions with genetic programming: an experimental study. IEE Software Engineering, 145(6):228-236, 1998.
14. G. Fraser and A. Arcuri. EvoSuite: automatic test suite generation for object-oriented software. In ACM Symposium on the Foundations of Software Engineering (FSE), pages 416-419, 2011.
15. G. Fraser and A. Arcuri. Whole test suite generation. IEEE Transactions on Software Engineering (TSE), 39(2), 2013.
16. M. Gabel, L. Jiang, and Z. Su. Scalable detection of semantic clones. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 321-330, 2008.
17. C. Ghezzi, A. Mocci, and M. Monga. Synthesizing intensional behavior models by graph transformation. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 430-440. IEEE Computer Society, 2009.
18. M. Harman. The current state and future of search based software engineering. In Future of Software Engineering (FOSE), pages 342-357, 2007.
19. M. Harman, L. Hu, R. M. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper. Testability transformation. IEEE Transactions on Software Engineering, 30(1):3-16, 2004.
20. J. Henkel, C. Reichenbach, and A. Diwan. Developing and debugging algebraic specifications for Java classes. ACM Transactions on Software Engineering and Methodology (TOSEM), 17(3):14:1-14:37, 2008.
21. M. Hennessy and R. Milner. On observing nondeterminism and concurrency. In Proceedings of the 7th International Colloquium on Automata, Languages and Programming (ICALP), pages 299-309, 1980.
22. L. Jiang and Z. Su. Automatic mining of functionally equivalent code fragments via random testing. In ACM International Symposium on Software Testing and Analysis (ISSTA), pages 81-92. ACM, 2009.
23. W. Langdon and M. Harman. Optimising existing software with genetic programming. IEEE Transactions on Evolutionary Computation (TEC), 2014.
24. L. Mariani, F. Pastore, and M. Pezzè. Dynamic analysis for diagnosing integration faults. IEEE Transactions on Software Engineering, 37(4):486-508, 2011.
25. P. McMinn. Search-based software test data generation: a survey. Journal of Software Testing, Verification and Reliability (STVR), 14:105-156, 2004.
26. C. Pacheco and M. D. Ernst. Randoop: feedback-directed random testing for Java. In Conference on Object-Oriented Programming Systems and Applications (OOPSLA), pages 815-816, 2007.
27. R. Pargas, M. J. Harrold, and R. Peck. Test-data generation using genetic algorithms. Journal of Software Testing, Verification and Reliability (STVR), 9:263-282, 1999.
28. M. Pradel, C. Jaspan, J. Aldrich, and T. R. Gross. Statically checking API protocol conformance with mined multi-object specifications. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 925-935, 2012.
29. J. Rößler, A. Zeller, G. Fraser, C. Zamfir, and G. Candea. Reconstructing core dumps. In IEEE International Conference on Software Testing, Verification and Validation (ICST), pages 114-123, 2013.
30. P. Tonella. Evolutionary testing of classes. In ACM International Symposium on Software Testing and Analysis (ISSTA), pages 119-128, 2004.
31. T. Xie and D. Notkin. Mutually enhancing test generation and specification inference. In International Workshop on Formal Approaches to Testing of Software (FATES), pages 60-69, 2003.