XRT- Exploring Runtime for .NET architecture and applications

Electronic Notes in Theoretical Computer Science

Volumn 144, Issue 3, 2006, Pages 3-26

  Grieskamp, Wolfgang ^a   Tillmann, Nikolai ^a   Schulte, Wolfram ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

CLR model checking; Extensible exploration framework; Mixed concrete symbolic state

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; STATE SPACE METHODS;

CLR MODEL-CHECKING; COMMON INTERMEDIATE LANGUAGE (CIL); EXTENSIBLE EXPLORATION FRAMEWORK; MIXED CONCRETE/SYMBOLIC STATE;

COMPUTER ARCHITECTURE;

EID: 31344450221     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.01.002     Document Type: Article

References (22)

1. Java PathFinder Home Page http://javapathfinder.sourceforge.net/
2. R. Alur, T.A. Henzinger, O. Kupferman, and M. Vardi Alternating refinement relations Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98) LNCS 1466 1998 163 178
3. Andrews, T., S. Qadeer, S.K. Rajamani, J. Rehof and Y. Xie, Zing: Exploiting program structure for model checking concurrent software, in: CONCUR 2004, 2004
4. Ball, T. and S.K. Rajamani, The SLAM project: Debugging system software via static analysis, in: POPL 2002, 2002
5. Campbell, C., W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann and M. Veanes, Model-based testing of object-oriented reactive systems with Spec Explorer, Technical Report MSR-TR-2005-59, Microsoft Research (2005), submitted
6. E.M. Clarke, O. Grumberg, and D. Peled Model Checking 1999 MIT Press
7. D. Detlefs, G. Nelson, and J. Saxe Simplify: A theorem prover for program checking URL citeseer.ist.psu.edu/detlefs03simplify.html 2003
8. M.B. Dwyer, J. Hatcliff, Robby, and V.P. Ranganath Exploiting object escape and locking information in partial-order reduction for concurrent object-oriented programs Formal Methods in System Design 25 2004
9. Flanagan, C. and P. Godefroid, Dynamic partial-order reduction for model checking software, in: POPL'05, 2005
10. C. Flanagan, and S. Qadeer Transactions in software model-checking Electronic Notes in Theoretical Computer Science 2003
11. Godefroid, P., Software model checking: The VeriSoft approach
12. Grieskamp, W. and N. Tillmann, Action machines - towards a framework for model composition, exploration and conformance testing based on symbolic computation, Technical Report MSR-TR-2005-60, Microsoft Research (2005), submitted
13. G.J. Holzmann The Spin Model Checker 2003 Addison-Wesley
14. R. Iosif Symmetry reductions for model checking of concurrent dynamic software Software Tools for Technology Transfer (STTT) 6 2004 302 319
15. Khurshid, S., C.S. Pasareanu and W. Visser, Generalized symbolic execution for model checking and testing, in: Proc. 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2003, pp. 553-568
16. K. Marriot, and P.J. Stuckey Programming with Constraints 1998 The MIT Press
17. Matthew B. Dwyer, M.H.R., John Hatcliff, Building your own software model checker using the bogor extensible model checking framework, in: Proceedings of the 17th Conference on Computer-Aided Verification (CAV 2005), 2005, to appear
18. Musuvathi, M. and D. Dill, An incremental heap canonicalization algorithm, Technical Report MSR-TR-2005-37, Microsoft Research (2004)
19. Robby, J.H., Matthew B. Dwyer, Bogor: An extensible and highly-modular model checking framework, in: Proceedings of the Fourth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), 2003
20. Robby, J.H.R.I., M.B. Dwyer, Space-reduction strategies for model checking dynamic software, in: Proc. SoftMC03 Workshop on Software Model Checking, 2003
21. Testing, Verification and Measurement, Microsoft Research Zap theorem prover http://research.microsoft.com/tvm/
22. Tillmann, N., W. Schulte and W. Grieskamp, Parameterized unit tests, Technical Report MSR-TR-2005-64, Microsoft Research (2005), to appear in FSE 2005