| Multiplatform Application Development for Android and Java | 0 | 0.34 | 2019 |
| CleanJava: A Formal Notation for Functional Program Verification | 0 | 0.34 | 2011 |
| Runtime Constraint Checking Approaches For Ocl, A Critical Comparison | 4 | 0.47 | 2010 |
| Automating Java Program Testing Using OCL and AspectJ | 8 | 0.59 | 2010 |
| An Aspect-Based Approach to Checking Design Constraints at Run-Time | 1 | 0.39 | 2009 |
| A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking | 9 | 0.97 | 2008 |
| A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs | 1 | 0.39 | 2008 |
| Integrating Random Testing with Constraints for Improved Efficiency and Diversity | 0 | 0.34 | 2008 |
| Random Test Data Generation for Java Classes Annotated with JML Specifications | 13 | 0.73 | 2007 |
| Architectural Assertions: Checking Architectural Constraints at Run-Time | 2 | 0.41 | 2007 |
| Specifying and checking method call sequences of Java programs | 18 | 1.07 | 2007 |
| Automated Random Testing to Detect Specification-Code Inconsistencies | 13 | 0.79 | 2007 |
| Abstraction in Assertion-Based Test Oracles | 5 | 0.41 | 2007 |
| Unification of verification and validation methods for software systems: progress report and initial case study formulation | 0 | 0.34 | 2006 |
| A specification-based fitness function for evolutionary testing of object-oriented programs | 11 | 0.73 | 2006 |
| Specifying and Checking Method Call Sequences in JML | 6 | 0.72 | 2005 |
| How the design of JML accommodates both runtime assertion checking and formal verification | 85 | 7.03 | 2005 |
| Model variables: cleanly supporting abstraction in design by contract | 60 | 3.00 | 2005 |
| A Complete Automation of Unit Testing for Java Programs | 24 | 1.09 | 2005 |
| A contextual interpretation of undefinedness for runtime assertion checking | 8 | 1.14 | 2005 |
| An overview of JML tools and applications | 350 | 20.96 | 2003 |
| A Simple and Practical Approach to Unit Testing: The JML and JUnit Way | 116 | 8.48 | 2002 |
| Sequence operators: specifying behavioral interfaces of Smalltalk blocks | 0 | 0.34 | 1999 |
| From LOTOS to C++, Issues and Tool Development | 0 | 0.34 | 1999 |
| A Quick Overview of Larch/C | 12 | 1.82 | 1994 |
| The Larch/Smalltalk interface specification language | 15 | 1.86 | 1994 |
| Preliminary Design of Larch/C++ | 9 | 1.12 | 1992 |
