Using symbolic evaluation to understand behavior in configurable software systems

Proceedings - International Conference on Software Engineering

Volumn 1, Issue , 2010, Pages 445-454

  Reisner, Elnatan ^a   Song, Charles ^a   Ma, Kin Keung ^a   Foster, Jeffrey S ^a   Porter, Adam ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

empirical software engineering; software configurations; software testing and analysis

Indexed keywords

BASIC BLOCKS; COMBINATORICS; CONDITION COVERAGE; CONFIGURABLE; CONFIGURATION OPTIONS; CONFIGURATION SPACE; COVERAGE CRITERIA; EMPIRICAL SOFTWARE ENGINEERING; EMPIRICAL STUDIES; LEVELS OF ABSTRACTION; PROGRAM BEHAVIOR; RUN-TIME CONFIGURATION; SOFTWARE SYSTEMS; SYMBOLIC EVALUATION; WORST CASE;

ABSTRACTING; SOFTWARE ENGINEERING; SOFTWARE TESTING; WAVE FUNCTIONS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77954702589     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806799.1806864     Document Type: Conference Paper

References (13)

1. R. Brownlie, J. Prowse, and M. S. Phadke. Robust testing of AT&T PMX/StarMAIL using OATS. AT&T Technical Journal, 71(3):41-7, 1992.
2. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209-224, 2008.
3. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: automatically generating inputs of death. In CCS, pages 322-335, 2006.
4. D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton. The AETG system: an approach to testing based on combinatorial design. TSE, 23(7):437-44, 1997.
5. I. S. Dunietz, W. K. Ehrlich, B. D. Szablak, C. L. M. ws, and A. Iannino. Applying design of experiments to software testing. In ICSE, pages 205-215, 1997.
6. V. Ganesh and D. L. Dill. A decision procedure for bit-vectors and arrays. In CAV, July 2007.
7. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In PLDI, pages 213-223, 2005.
8. P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In NDSS. Internet Society, 2008.
9. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
10. D. Kuhn and M. Reilly. An investigation of the applicability of design of experiments to software testing. In NASA Goddard/IEEE Software Engineering Workshop, pages 91-95, 2002.
11. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In CC, pages 213-228, 2002.
12. A. Porter, C. Yilmaz, A. M. Memon, D. C. Schmidt, and B. Natarajan. Skoll: A process and infrastructure for distributed continuous quality assurance. TSE, 33(8):510-525, August, 2007.
13. E. Reisner, C. Song, K.-K. Ma, J. S. Foster, and A. Porter. Using symbolic evaluation to understand behavior in configurable software systems. Technical Report CS-TR-4946, Department of Computer Science, University of Maryland, 2009.