Yoonsik Cheon - Concepedia

Author

Yoonsik Cheon

The University of Texas at El Paso

Also Known As

Yoonsik Cheon

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

The University of Texas at El Paso Iowa State University Kodak (United States)Microsoft (United States)Radboud University Nijmegen

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	14	1.4K
2	Management	1	1	707
3	Public Health	1	1	47
4	Biostatistics	1	1	47
5	Communication	1	1	34

Yoonsik Cheon

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
An overview of JML tools and applications Lilian Burdy, Yoonsik Cheon, David R. Cok, International Journal on Software Tools for Technology Transfer Xml LibraryEngineeringJml ToolsManagementSystems Engineering	2004	707
An overview of JML tools and applications1 1www.jmlspecs.org Lilian Burdy, Yoonsik Cheon, David R. Cok, Electronic Notes in Theoretical Computer Science Software MaintenanceJava Source FilesEngineeringObject-oriented ModelingVerification	2003	205
How the design of JML accommodates both runtime assertion checking and formal verification Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Science of Computer Programming EngineeringRuntime VerificationProgram AnalysisRuntime Assertion CheckingSoftware Testing	2004	188
Design by Contract with JML Gary T. Leavens, Yoonsik Cheon	2006	187
Model variables: cleanly supporting abstraction in design by contract Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Software Practice and Experience	2005	118
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way Yoonsik Cheon Iowa State University Digital Repository (Iowa State University)	2001	69
A Complete Automation of Unit Testing for Java Programs Yoonsik Cheon, Myoung Yee Kim, Ashaveena Perumandla scholarworks - UTEP (The University of Texas at El Paso)	2005	51
PWiseGen: Generating test cases for pairwise testing using genetic algorithms Pedro Flores, Yoonsik Cheon Pairwise TestingEngineeringGenetic AlgorithmsMutation-based TestingComputational Testing	2011	47
The Larch/Smalltalk interface specification language Yoonsik Cheon, Gary T. Leavens ACM Transactions on Software Engineering and Methodology High-level Programming LanguageSpecification LanguageFormal SpecificationLanguage DocumentationEngineering	1994	34
Specifying and checking method call sequences of Java programs Yoonsik Cheon, Ashaveena Perumandla Software Quality Journal Java ProgramsProgram CheckingEngineeringProgram AnalysisSoftware Testing	2007	31

Page 1