Concepedia

Yoonsik Cheon

YC

27

Publications

1.9K

Citations

18

H-Index

1994

Active since

Affiliations

The University of Texas at El Paso(Current)

Iowa State University

Kodak (United States)

Microsoft (United States)

Radboud University Nijmegen

Yoonsik Cheon is an author at The University of Texas at El Paso specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisFormal MethodsSoftware EngineeringSoftware DesignSoftware TestingFormal VerificationVerification

Publications per year

1994–2021

27

Publications

27

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 707 citations

Xml Library, Engineering, Jml Tools +12

An overview of JML tools and applications1 1www.jmlspecs.org

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · Electronic Notes in Theoretical Computer Science · 2003 · 205 citations · Full text

Software Maintenance, Java Source Files, Engineering +25

How the design of JML accommodates both runtime assertion checking and formal verification

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton et al. · Science of Computer Programming · 2004 · 188 citations

Engineering, Runtime Verification, Program Analysis +11

Design by Contract with JML

Gary T. Leavens, Yoonsik Cheon · 2006 · 187 citations

Model variables: cleanly supporting abstraction in design by contract

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman et al. · Software Practice and Experience · 2005 · 118 citations

Rows per page

1–5 of 27