Accurate centralization for applying model checking on networked applications

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 177-186

  Artho, Cyrille ^a   Garoche, Pierre Loïc ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER APPLICATIONS; COMPUTER NETWORKS; MULTITASKING; PROGRAM DEBUGGING;

MULTI-PROCESS APPLICATIONS; NETWORK COMMUNICATION; SOFTWARE MODEL CHECKING;

MODEL CHECKING;

EID: 34547487767     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2006.10     Document Type: Conference Paper

References (23)

1. C. Artho. Combining Static and Dynamic Analysis to Find Multi-threading Faults Beyond Data Races. PhD thesis, ETH Zürich, 2005.
2. C. Artho, V. Schuppan, A. Biere, P. Eugster, M. Baur, and B. Zweimüller. JNuke: Efficient Dynamic Analysis for Java. In Proc. 16th Intl. Conf. on Computer Aided Verification (CAV 2004), volume 3114 of LNCS, pages 462-465, Boston, USA, 2004. Springer.
3. C. Artho, B. Zweimüller, A. Biere, and S. Honiden. Software Model Checking of Distributed Applications with I/O. To be published.
4. T. Ball, A. Podelski, and S. Rajamani. Boolean and Cartesian Abstractions for Model Checking C Programs. In Proc. 7th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), volume 2031 of LNCS, pages 268-285, Genova, Italy, 2001. Springer.
5. D. Bruening. Systematic testing of multithreaded Java programs. Master's thesis, MIT, 1999.
6. E. Clarke, O. Grumberg, and D. Peled. Model checking. MIT Press, 1999.
7. C. Colby, P. Godefroid, and L. Jagadeesan. Automatically closing open reactive programs. In Proc. SIGPLAN Conf. on Programming Language Design and Implementation (PLDI1998), pages 345-357, Montreal, Canada, 1998.
8. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd Intl. Conf. on Software Engineering (ICSE2000), pages 439-448, Limerick, Ireland, 2000. ACM Press.
9. The Apache Foundation, 2006. http://www.apache.org/.
10. P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th ACM Symposium on Principles of Programming Languages (POPL 1997), pages 174-186, Paris, France, 1997. ACM Press.
11. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification, Third Edition. Addison-Wesley, 2005.
12. K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. Intl. Journal on Software Tools for Technology Transfer (STTT), 2(4):366381, 2000.
13. G. Holzmann. The SPIN Model Checker. Addison-Wesley, 2004.
14. G. Holzmann, P. Godefroid, and D. Pirottin. Coverage preserving reduction strategies for reachability analysis. In Proc. 12th Intl. Conf. on Protocol Specification, Testing, and Verification, INWG/IFIP, Orlando, USA, 1992.
15. G. Holzmann and M. Smith. A practical method for verifying event-driven software. In Proc. 21st Intl. Conf. on Software Engineering (ICSE 1999), pages 597-607, Los Angeles, USA, 1999. ACM Press.
16. D. Lea. Concurrent Programming in Java, Second Edition. Addison-Wesley, 1999.
17. T. Lindholm and A. Yellin. The Java Virtual Machine Specification, Second Edition. Addison-Wesley, 1999.
18. Y. Nakagawa, R. Potter, M. Yamamoto, M. Hagiya, and K. Kato. Model checking of multi-process applications using SBUML and GDB. In Proc. Workshop on Dependable Software: Tools and Methods, pages 215-220, Yokohama, Japan, 2005.
19. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
20. S. Stoller. Model-Checking Multi-threaded Distributed Java Programs. In Proc. 7th Intl. SPIN Workshop (SPIN 2000), volume 1885 of LNCS, pages 224-244, Stanford, USA, 2000. Springer.
21. S. Stoller and Y. Liu. Transformations for model checking distributed Java programs. In Proc. 8th Intl. SPIN Workshop (SPIN 2001), volume 2057 of LNCS, pages 192-199. Springer, 2001.
22. Sun Microsystems, Santa Clara, USA. Java 2 Platform Standard Edition (J2SE) 1.5, 2005. http://java.sun.com/j2se/1.5.0/.
23. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. Automated Software Engineering Journal, 10(2):203-232, 2003.