RWset: Attacking path explosion in constraint-based test generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4963 LNCS, Issue , 2008, Pages 351-366

  Boonstoppel, Peter ^a   Cadar, Cristian ^a   Engler, Dawson ^a  

^a Stanford University

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT-BASED; DEVICE DRIVERS; EUROPEAN; EXPONENTIAL NUMBERS; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; OPEN SOURCES; ORDERS-OF-MAGNITUDE; PROGRAM COVERAGE; SYMBOLIC EXECUTION; TEST GENERATIONS; TEST INPUTS; VARIATIONS OF;

CODES (STANDARDS); CODES (SYMBOLS); INFORMATION DISSEMINATION; STANDARDS; TESTING;

CONSTRAINED OPTIMIZATION;

EID: 47249130414     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78800-3_27     Document Type: Conference Paper

References (18)

1. Ball, T., Bounimova, E., Cook, B., Levin, V., Lichtenberg, J., McGarvey, C., Ondrusek, B., Rajamani, S.K., Ustuner, A.: Thorough static analysis of device drivers. In: EuroSys (April 2006)
2. Ball, T., Rajamani, S.K.: Bebop: A symbolic model checker for boolean programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, Springer, Heidelberg (2000)
3. Cadar, C., Engler, D.: Execution generated test cases: How to make systems code crash itself. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol. 3639, pp. 2-23. Springer, Heidelberg (2005)
4. Cadar, C., Ganesh, V., Pawlowski, P., Dill, D., Engler, D.: EXE: Automatically generating inputs of death. In: Proceedings of the 13th ACM Conference on Computer and Communications Security (October-November 2006)
5. Ganesh, V., Dill, D.L.: A decision procedure for bit-vectors and arrays. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 519-531. Springer, Heidelberg (2007)
6. Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol. 1032. Springer, New York (1996)
7. Godefroid, P.: Compositional dynamic test generation. In: Proceedings of the 34th Symposium on Principles of Programming Languages (POPL 2007) (January 2007)
8. Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: Proceedings of the Conference on Programming Language Design and Implementation (PLDI), Chicago, IL USA, ACM Press, New York (June 2005)
9. Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses (2002)
10. Herder, J.N.: Towards a true microkernel operating system. Master's thesis, Vrije Universiteit Amsterdam (2005)
11. Holzmann, G.J.: The engineering of a model checker: The Gnu i-protocol case study revisited (1999)
12. Lewis, M., Jones, M.: A dead variable analysis for explicit model checking. In: In Proceedings of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program (2006)
13. Majumdar, R., Sen, K.: Hybrid concolic testing. In: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007) (May 2007)
14. Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: In 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005) (September 2005)
15. Swift, M.M., Annamalai, M., Bershad, B.N., Levy, H.M.: Recovering device drivers. In: OSDI, pp. 1-16 (December 2004)
16. Tanenbaum, A.S., Woodhull, A.S.: Operating Systems Design and Implementation, 3rd edn. Prentice Hall, Englewood Cliffs (2006)
17. Stern, U., Dill, D.L.: Improved Probabilistic Verification by Hash Compaction. In: Camurati, P.E., Eveking, H. (eds.) CHARME 1995. LNCS, vol. 987, pp. 206-224. Springer, Heidelberg (1995)
18. Yang, J., Twohey, P., Engler, D., Musuvathi, M.: Using model checking to find serious file system errors (December 2004)