Runtime assertion checking of multithreaded Java programs

[1]  Vivek Sarkar,et al.  The Jikes Research Virtual Machine project: Building an open-source research community , 2005, IBM Syst. J..

[2]  John Tang Boyland,et al.  Checking Interference with Fractional Permissions , 2003, SAS.

[3]  David S. Rosenblum,et al.  A historical perspective on runtime assertion checking in software development , 2006, SOEN.

[4]  Eran Yahav,et al.  Asynchronous assertions , 2011, OOPSLA '11.

[5]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[6]  Koushik Sen,et al.  CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs , 2009, CAV.

[7]  Lionel C. Briand,et al.  Enabling the runtime assertion checking of concurrent contracts for the Java modeling language , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[8]  A. M. Turing,et al.  Checking a large routine , 1989 .

[9]  Perry Cheng,et al.  Oil and water? High performance garbage collection in Java with MMTk , 2004, Proceedings. 26th International Conference on Software Engineering.

[10]  Herman H. Goldstine,et al.  Planning and coding of problems for an Electronic Computing Instrument , 1947 .

[11]  Arthur J. Bernstein,et al.  Analysis of Programs for Parallel Processing , 1966, IEEE Trans. Electron. Comput..

[12]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, International Journal on Software Tools for Technology Transfer.

[13]  David R. Cok,et al.  OpenJML: JML for Java 7 by Extending OpenJDK , 2011, NASA Formal Methods.

[14]  David R. Cok,et al.  OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse , 2014, F-IDE.

[15]  Amer Diwan,et al.  When to use a compilation service? , 2002, LCTES/SCOPES '02.

[16]  Suresh Jagannathan,et al.  Safe futures for Java , 2005, OOPSLA '05.

[17]  Robert W. Sebesta,et al.  Programming Language Processors in Java: Compilers and Interpreters: AND Concepts of Programming Languages , 2000 .

[18]  Gary T. Leavens,et al.  Design by Contract with JML , 2006 .

[19]  John C. Reynolds,et al.  Separation logic: a logic for shared mutable data structures , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[20]  Gavin M. Bierman,et al.  Separation logic and abstraction , 2005, POPL '05.

[21]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.