Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Cheon, Yoonsik - Department of Computer Science, University of Texas at El Paso
A Thought on Specification Reflection Yoonsik Cheon, Yoshiki Hayashi
A Contextual Interpretation of Undefinedness for Runtime Assertion Checking
A Formal Notation for Functional Program Verification Yoonsik Cheon, Cesar Yeep and Melisa Vela
Automated Random Testing to Detect Specification-Code Inconsistencies
PWiseGen: Generating Test Cases for Pairwise Testing Using Genetic Algorithms
A Fitness Function for Modular Evolutionary Testing of Object-Oriented Programs
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking
Functional Specification and Verification of Object-Oriented Programs
Access Control Contracts for Java Program Modules Carlos E. Rubio-Medrano and Yoonsik Cheon
Random Test Data Generation for Java Classes Annotated with JML Specifications
Functional Verification of Class Invariants in CleanJava Carmen Avila and Yoonsik Cheon Cheon
Checking Design Constraints at Run-time Using OCL and AspectJ
Integrating Random Testing with Constraints for Improved Efficiency and Diversity
A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs
Architectural Assertions: Checking Architectural Constraints at Run-Time
Specifying and Checking Method Call Sequences in JML Yoonsik Cheon and Ashaveena Perumandla
The JML and JUnit Way of Unit Testing and its Implementation
Posted: September 12, 2005 Research Assistant Positions
YOONSIK CHEON The University of Texas at El Paso
An overview of JML tools and applications www.jmlspecs.org
Abstraction in Assertion-Based Test Oracles Yoonsik Cheon
A Complete Automation of Unit Testing for Java Programs
Canica: An IDE for the Java Modeling Language Angelica B. Perez, Yoonsik Cheon, and Ann Q. Gates
Automating Java Program Testing Using OCL and AspectJ
Runtime Constraint Checking Approaches for OCL, A Critical Comparison
A New Eclipse-Based JML Compiler Built Using AST Merging
An Aspect-Based Approach to Checking Design Constraints at Run-time
A Tutorial on Functional Program Verification Yoonsik Cheon and Melisa Vela
A Formal Specification in JML of the Java Security Package
The CleanJava Language for Functional Program Verification Yoonsik Cheon, Cesar Yeep, and Melisa Vela
