Contessa: Concurrency testing augmented with symbolic analysis

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

Volumn 6174 LNCS, Issue , 2010, Pages 127-131

  Kundu, Sudipta ^a,b   Ganai, Malay K ^a   Wang, Chao ^a  

^a NEC LABORATORIES AMERICA   (United States)

^b SYNOPSYS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONVENTIONAL TESTING; INPUT DATAS; MULTI-THREADED PROGRAMS; PARTIAL-ORDER REDUCTION; REDUCED SIZE; SEARCH SPACES; SYMBOLIC ANALYSIS; VERIFICATION CONDITION;

COMPUTER AIDED ANALYSIS;

CONCRETE TESTING;

EID: 77954981310     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14295-6_13     Document Type: Conference Paper

References (11)

1. Godefroid, P.: Software Model Checking: The Verisoft approach. In: FMSD (2005)
2. Musuvathi, M., Quadeer, S.: CHESS: Systematic stress testing of concurrent software. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol. 4407, pp. 15-16. Springer, Heidelberg (2007)
3. Yang, Y., Chen, X., Gopalakrishnan, G.: Inspect: A Runtime Model Checker for Multi-threaded C Programs. Technical Report UUCS-08-004, University of Utah (2008)
4. Edelstein, O., Farchi, E., Goldin, E., Nir, Y., Ratsaby, G., Ur, S.: Framework for Testing Multi-threaded Java Programs. In: Concurrency and Computation: Practice and Experience (2003)
5. Sen, K.: Race directed random testing of concurrent programs. In: PLDI (2008)
6. Farzan, A., Madhusudan, P.: Causal Atomicity. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 315-328. Springer, Heidelberg (2006)
7. Wang, C., Chaudhuri, S., Gupta, A., Yang, Y.: Symbolic pruning of concurrent program executions. In: ESEC-FSE (2009)
8. Ganai, M.K., Kundu, S.: Reduction of Verification Conditions for Concurrent System using Mutually Atomic Transactions. In: Proc. of SPINWorkshop (2009)
9. Ganai, M.K., Gupta, A.: Efficient modeling of concurrent systems in bmc. In: Havelund, K., Majumdar, R., Palsberg, J. (eds.) SPIN 2008. LNCS, vol. 5156, pp. 114-133. Springer, Heidelberg (2008)
10. SRI. Yices: An SMT solver, http://fm.csl.sri.com/yices
11. JPF, http://babelfish.arc.nasa.gov/trac/jpf