Author of the publication

An overview of JML tools and applications.

, , , , , , , and . FMICS, volume 80 of Electronic Notes in Theoretical Computer Science, page 75-91. Elsevier, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An overview of JML tools and applications., , , , , , , and . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)A Complete Automation of Unit Testing for Java Programs., , and . Software Engineering Research and Practice, page 290-295. CSREA Press, (2005)Unification of verification and validation methods for software systems: progress report and initial case study formulation., , , , and . IPDPS, IEEE, (2006)A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs., and . ICST, page 537-540. IEEE Computer Society, (2008)Design Assertions: Executable Assertions for Design Constraints.. ICCSA (Workshops 5), volume 13381 of Lecture Notes in Computer Science, page 617-631. Springer, (2022)A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking., , and . Software Engineering Research and Practice, page 403-408. CSREA Press, (2008)Code Reuse between Java and Android Applications., , and . ICSOFT, page 246-253. SciTePress, (2019)Automating Java Program Testing Using OCL and AspectJ., and . ITNG, page 1020-1025. IEEE Computer Society, (2010)CleanJava: A Formal Notation for Functional Program Verification., , and . ITNG, page 221-226. IEEE Computer Society, (2011)A Quick Overview of Larch/C++., and . JOOP, 7 (6): 39-49 (1994)