( en | de | ru )

 

Disambiguation of "Cheon, Yoonsik"

Author of the publication

copydeleteadd this publication to your clipboard
An overview of JML tools and applications.

, , , , , , , and . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)

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.

YoonSik Shim

Mok-Ja Cheon

Saehoon Cheon

Ha-Don Cheong

Eunhae Cheong

 

Other publications of authors with the same name

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 Complete Automation of Unit Testing for Java Programs., , and . Software Engineering Research and Practice, page 290-295. CSREA Press, (2005)An overview of JML tools and applications., , , , , , , and . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)Design Assertions: Executable Assertions for Design Constraints.. ICCSA (Workshops 5), volume 13381 of Lecture Notes in Computer Science, page 617-631. Springer, (2022)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)Unification of verification and validation methods for software systems: progress report and initial case study formulation., , , , and . IPDPS, IEEE, (2006)A Quick Overview of Larch/C++., and . JOOP, 7 (6): 39-49 (1994)