A race-detection and flipping algorithm for automated testing of multi-threaded programs

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

Volumn 4383 LNCS, Issue , 2007, Pages 166-182

  Sen, Koushik ^a   Agha, Gul ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA PROCESSING; JAVA PROGRAMMING LANGUAGE; MICROSYSTEMS; REAL TIME SYSTEMS;

DATA INPUTS; FLIPPING ALGORITHM; MULTI-THREADED PROGRAMS;

SOFTWARE TESTING;

EID: 38049188348     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70889-6_13     Document Type: Conference Paper

References (21)

1. D. Bruening. Systematic testing of multithreaded Java programs. Master's thesis, MIT, 1999.
2. R. H. Carver and Y. Lei. A general model for reachability testing of concurrent programs. In 6th International Conference on Formal Engineering Methods (ICFEM'04), volume 3308 of LNCS, pages 76-98, 2004.
3. J. Corbett, M. B. Dwyer, J. Hatcliff, C. S. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proc. of ICSE'00: International Conference on Software Engineering, Limerich, Ireland, June 2000. ACM Press.
4. C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In Proc. of the 32nd Symposium on Principles of Programming Languages (POPL'05), pages 110-121, 2005.
5. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, volume 1032 of LNCS. Springer-Verlag, 1996.
6. P. Godefroid. Model Checking for Programming Languages using VeriSoft. In 24th ACM Symposium on Principles of Programming Languages, pages 174-186, 1997.
7. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.
8. S. Khurshid, C S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th Int. Conf. on TACAS, pages 553-568, 2003.
9. J. C. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, 1976.
10. C. S. Pasareanu, M. B. Dwyer, and W. Visser. Finding feasible abstract counter-examples. International Journal on Software Tools for Technology Transfer (STTT'03), 5(1):34-48, 2003.
11. D. Peled. AU from one, one for all: on model checking using representatives. In 5th Conference on Computer Aided Verification, pages 409-423, 1993.
12. K. Sen. Scalable Automated Methods for Dynamic Program Analysis. PhD thesis, University of Illinois at Urbana-Champaign, June 2006.
13. K. Sen and G. Agha. Automated systematic testing of open distributed programs. In International Conference on Fundamental Approaches to Software Engineering (FASE'06), LNCS (To appear), 2006.
14. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In Computer Aided Verification (CAV'06), LNCS, 2006. (To Appear).
15. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05). ACM, 2005.
16. K. Sen, G. Roşu, and G. Agha. Runtime Safety Analysis of Multithreaded Programs. In 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), pages 337-346. ACM, 2003.
17. K. Sen, G. Roşu, and G. Agha. Online efficient predictive safety analysis of multithreaded programs. International Journal on Software Technology and Tools Transfer, 2006.
18. S. F. Siegel, A. Mironova, G. S. Avrunin, and L. A. Clarke. Using model checking with symbolic execution to verify parallel numerical programs. Technical Report UM-CS-2005-15, University of Massachusetts Department of Computer Science, 2005.
19. S. D. Stoller. Model-Checking Multi-Threaded Distributed Java Programs. In Proc. of SPIN'00: SPIN Model Checking and Software Verification, volume 1885 of LNCS, pages 224-244. Springer, 2000.
20. A. Valmari. Stubborn sets for reduced state space generation. In 10th Conference on Applications and Theory of Petri Nets, pages 491-515, 1991.
21. W. Visser, C. Pasareanu, and S. Khurshid. Test Input Generation with Java PathFinder. In Proceedings of ACM SIGSOFT ISSTA'04, pages 97-107, 2004.