NetStub: A framework for verification of distributed Java applications

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 24-33

  Barlas, Elliot ^a   Bultan, Tevfik ^a  

^a University of California   (United States)

Author keywords

automated verification; model checking; testing and verification of distributed programs

Indexed keywords

APPLICATION COMPONENTS; AUTOMATED VERIFICATION; DISTRIBUTED APPLICATIONS; DISTRIBUTED PROGRAM; EVENT GENERATORS; IN-NETWORK; JAVA APPLICATIONS; REDUCED-STATE; SINGLE COMPONENTS; STATE SPACE; UNIT VERIFICATION;

AUTOMATION; COMPUTER SOFTWARE; FUZZY CONTROL; MODEL CHECKING; PARALLEL PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 57749199394     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321638     Document Type: Conference Paper

References (14)

1. C. Artho and P.-L. Garoche. Accurate centralization for applying model checking on networked applications. In Proc. 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), pages 177-188, 2006.
2. C. Artho, C. Sommer, and S. Honiden. Model checking networked programs in the presence of transmission failures. In Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), 2007.
3. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. 8th International SPIN Workshop, volume 2057 of LNCS, pages 103-122, 2001.
4. G. Brat, K. Havelund, S. Park, and W. Visser. Model checking programs. In Proc. 15th IEEE/ACM International Conference on Automated Software Engineering (ASE 2000), pages 3-12, 2000.
5. E. M. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), pages 168-176, 2004.
6. P. Godefroid. Model checking for programming languages using verisoft. In Proc. 24th ACM Symposium on Principles of Programming Languages (POPL 1997), pages 174-186, 1997.
7. P. Godefroid, C. Colby, and L. Jagadeesan. Automatically closing open reactive programs. In Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1998), pages 345-357, 1998.
8. T. A. Henzinger, R. Jhala, and R. Majumdar. The BLAST software verification system. In Proc. 12th International SPIN Workshop (SPIN 2005), pages 25-26, 2005.
9. P. Inverardi and M. Tivoli. Deadlock-free software architectures for com/dcom applications. J. Syst. Softw., 65(3):173-183, 2003.
10. th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 44-51. ACM Press, 2001.
11. M. Musuvathi, D. Park, A. Chou, D. R. Engler, and D. L. Dill. CMC: A Pragmatic Approach to Model Checking Real Code. In Proc. 5th Symposium on Operating Systems Design and Implementation (OSDI 2002), 2002.
12. Robby, M. B. Dwyer, and J. Hatcliff. Bogor: An extensible and highly-modular software model checking framework. In Proc. 11th ACM Symposium on Foundations of Software Engineering held jointly with the 9th European Software Engineering Conference (ESEC/FSE 2003), pages 267-276, 2003.
13. A. Rowstron and P. Druschel. Pastry: Scalable, distributed object location and routing for large-scale peer-to-peer systems. In Proc. IFIP/ACM International Conference on Distributed Systems Platforms (Middleware), pages 329-350, 2001.
14. O. Tkachuk, M. B. Dwyer, and C. Pasareanu. Automated environment generation for software model checking. In Proceedings of the 4th Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), pages 116-129, 2003.