Structural coverage of feasible code

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2010, Pages 59-66

  Baluda, Mauro ^a   Braione, Pietro ^b   Denaro, Giovanni ^b   Pezzé, Mauro ^a,b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

Automatic test generation; Concolic execution; Structural testing

Indexed keywords

AUTOMATIC TEST GENERATION; BRANCH COVERAGE; CONCOLIC EXECUTION; COVERAGE CRITERIA; EXECUTION PATHS; PROTOTYPE IMPLEMENTATIONS; STATIC AND DYNAMIC ANALYSIS; STRUCTURAL TESTING; TEST CASE;

DYNAMIC ANALYSIS; SOFTWARE PROTOTYPING; TEST FACILITIES; TESTING;

SOFTWARE TESTING;

EID: 77954943557     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1808266.1808275     Document Type: Conference Paper

References (18)

1. N. E. Beckman, A. V. Nori, S. K. Rajamani, and R. J. Simmons. Proofs from tests. In Proceedings of the 2008 International Symposium on Software Testing and Analysis (ISSTA 2008), pages 3-14, 2008.
2. J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pages 443-446, 2008.
3. C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008), 2008.
4. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: automatically generating inputs of death. In Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS '06), pages 322-335, New York, NY, USA, 2006. ACM.
5. J. Callahan, F. Schneider, and S. Easterbrook. Automated software testing using model-checking. In Proceedings of the 1996 SPIN Workshop (SPIN 1996). Also WVU Technical Report NASA-IVV-96-022., 1996.
6. H. Do, S. G. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering: An International Journal, 10(4):405-435, 2005.
7. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10):1483-1498, 1988.
8. G. Fraser, F. Wotawa, and P. E. Ammann. Testing with model checkers: a survey. Software Testing, Verification and Reliability, 19(3):215-261, Sept. 2009.
9. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI 2005), pages 213-223, 2005.
10. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing, 2007.
11. B. S. Gulavani, T. A. Henzinger, Y. Kannan, A. V. Nori, and S. K. Rajamani. Synergy: A new algorithm for property checking. In Proceedings of the 14th ACM SIGSOFT symposium on Foundations of Software Engineering (FSE-14), pages 117-127, 2006.
12. H. S. Hong and I. Lee. Automatic test generation from specifications for control-flow and data-flow coverage criteria. In Proceedings of the Monterey Workshop, Monterey, Calif.: Naval Postgraduate School, pages 230-246, 2001.
13. M. Pezzè and M. Young. Software Testing and Analysis: Process, Principles and Techniques. Wiley, April 2007.
14. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-13), pages 263-272, 2005.
15. N. Tillmann and J. de Halleux. Pex - white box test generation for .net. In Proceedings of the 2nd International Conference on Tests and Proofs (TAP 2008), pages 134-153, 2008.
16. United States. RTCA, Inc., Document RTCA/DO-178B. U.S. Department of Transportation, Federal Aviation Administration, Washington, D.C., 1993.
17. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation with Java PathFinder. In Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), pages 97-107, 2004.
18. E. J. Weyuker. The evaluation of program-based software test data adequacy criteria. Communications of the ACM, 31(6):668-675, 1988.