Automated systematic testing of open distributed programs

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

Volumn 3922 LNCS, Issue , 2006, Pages 339-356

  Sen, Koushik ^a   Agha, Gul ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAM LISTINGS; COMPUTER SYSTEM RECOVERY; JAVA PROGRAMMING LANGUAGE; SOFTWARE PROTOTYPING;

ASYNCHRONOUS MESSAGES; DEADLOCK STATES; PROCESS COMMUNICATION; SYMBOLIC EXECUTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33745769475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693017_25     Document Type: Conference Paper

References (25)

1. G. Agha. Actors: A Model of Concurrent Computation. MIT Press, 1986.
2. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1-72, 1997.
3. R. Alur, R. K. Brayton, T. A. Henzinger, S. Qadeer, and S. K. Rajamani. Partial-order reduction in symbolic state space exploration. In Computer Aided Verification, pages 340-351, 1997.
4. O. Babaoglu and K. Marzullo. Consistent global states of distributed systems: Fundamental concepts and mechanisms. In Distributed Systems, pages 55-96. 1993.
5. K. M. Chandy and L. Lamport. Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst., 3(1):63-75, 1985.
6. M. B. Dwyer, J. Hatcliff, Robby, and V. P. Ranganath. Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Form. Methods Syst. Des., 25(2-3): 199-240, 2004.
7. C. J. Fidge. Partial orders for parallel debugging. In Proceedings of the Workshop on Parallel and Distributed Debugging (WPDD), pages 183-194. ACM, 1988.
8. 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.
9. V. K. Garg and C. M. Chase. Distributed algorithms for detecting conjunctive predicates. In Proceedings of the 15th International Conference on Distributed Computing Systems (ICDCS'95), page 423. IEEE, 1995.
10. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, volume 1032 of LNCS. 1996.
11. P. Godefroid. Model Checking for Programming Languages using VeriSoft. In 24th ACM Symposium on Principles of Programming Languages), pages 174-186, 1997.
12. 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.
13. G. J. Holzmann. The model checker Spin. IEEE Trans. on Software Engineering, 23(5):279-295, 1997.
14. J. C. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, 1976.
15. Y. Lei and K.-C. Tai. Efficient reachability testing of asynchronous message-passing programs. In 8th International Conference on Engineering of Complex Computer-Systems (ICECCS), pages 35-, 2002.
16. G. J. Myers. The Art of Software Testing. Wiley, 1979.
17. C. S. Pasareanu, M. B. Dwyer, and W. Visser. Finding feasible counter-examples when model checking abstracted Java programs. In Proc. of TACAS'01, pages 284-298, 2001.
18. D. Peled. All from one, one for all: on model checking using representatives. In 5th Conference on Computer Aided Verification, pages 409-423, 1993.
19. K. Sen and G. Agha. Automated systematic testing of open distributed programs. Technical Report UIUCDCS-R-2005-2647, UIUC, 2005.
20. K. Sen and G. Agha. Concolic testing of multithreaded programs and its application to testing security protocols. Technical Report UIUCDCS-R-2006-2676, UIUC, 2006.
21. 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.
22. 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.
23. A. Valmari. Stubborn sets for reduced state space generation. In 10th International Conference on Applications and Theory of Petri Nets, pages 491-515, 1991.
24. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In Proc. 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 97-107, 2004.
25. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proc. of the Tools and Algorithms for the Construction and Analysis of Systems, 2005.