Search Results - "Cheon, Yoonsik"

PWiseGen: Generating test cases for pairwise testing using genetic algorithms by Flores, P., Yoonsik Cheon

“…Pairwise testing is a combinatorial testing technique that tests all possible pairs of input values. Although, finding a smallest set of test cases for…”
Get full text

Abstraction in Assertion-Based Test Oracles by Yoonsik Cheon

“…Assertions can be used as test oracles. However, writing effective assertions of right abstraction levels is difficult because on the one hand, detailed…”
Get full text

Automating Java Program Testing Using OCL and AspectJ by Yoonsik Cheon, Avila, Carmen

“…Random testing can eliminate subjectiveness in constructing test data and increase the diversity of test data. However, one difficult problem is to construct…”
Get full text

Toward More Effective Use of Assertions for Mobile App Development by Cheon, Yoonsik

“…It is a good programming practice to include runtime checks called assertions in the code to check assumptions and invariants. Assertions are said to be often…”
Get full text

A New Eclipse-Based JML Compiler Built Using AST Merging by Sarcar, A, Yoonsik Cheon

“…The Java Modeling Language (JML) is a formal interface specification language to document the behavior of Java program modules and has been used in many…”
Get full text

Multiplatform Application Development for Android and Java by Cheon, Yoonsik

“…Software developers of today are under increasing pressure to support multiple platforms, in particular mobile platforms. However, developing a multiplatform…”
Get full text

Coding Overhead of Mobile Apps by Cheon, Yoonsik

“…A mobile app runs on small devices such as smartphones and tablets. Perhaps, because of this, there is a common misconception that writing a mobile app is…”
Get full text

Specifying and checking method call sequences of Java programs by Cheon, Yoonsik, Perumandla, Ashaveena

“…In a pre and postcondition-style specification, it is difficult to specify the allowed sequences of method calls, referred to as protocols. The protocols are…”
Get full text

An overview of JML tools and applications by BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik

“…The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim…”
Get full text

Converting Android Native Apps to Flutter Cross-Platform Apps by Cheon, Yoonsik, Chavez, Carlos

“…Flutter is a development framework for building applications for mobile, web, and desktop platforms from a single codebase. Since its first official release by…”
Get full text

CleanJava: A Formal Notation for Functional Program Verification by Yoonsik Cheon, Yeep, C., Vela, M.

“…Unlike a Hoare-style program verification, a functional program verification supports forward reasoning by viewing a program as a mathematical function from…”
Get full text

A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs by Myoung Yee Kim, Yoonsik Cheon

“…In evolutionary testing of an object-oriented program, the search objective is to find a sequence of method calls that can successfully produce a test object…”
Get full text

Model variables: cleanly supporting abstraction in design by contract by Cheon, Yoonsik, Leavens, Gary, Sitaraman, Murali, Edwards, Stephen

“…In design by contract (DBC), assertions are typically written using program variables and query methods. The lack of separation between program code and…”
Get full text

How the design of JML accommodates both runtime assertion checking and formal verification by Leavens, Gary T., Cheon, Yoonsik, Clifton, Curtis, Ruby, Clyde, Cok, David R.

“…Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal…”
Get full text

An Aspect-Based Approach to Checking Design Constraints at Run-Time by Yoonsik Cheon, Avila, C., Roach, S., Munoz, C., Estrada, N., Fierro, V., Romo, J.

“…Design decisions and constraints of a software system can be specified precisely using a formal notation such as the Object Constraint Language (OCL). However,…”
Get full text

A Library-Based Approach for Writing Design Assertions by Cheon, Yoonsik, Lozano, Ricardo, Prabhu, Rajasoundarya Senthil

“…Assertions are a crucial aspect of software development, serving as a way to validate conditions during code execution. They are expressed as Boolean…”
Get full text

Unification of verification and validation methods for software systems: progress report and initial case study formulation by Browne, J.C., Lin, C., Kane, K., Yoonsik Cheon, Teller, P.

“…This paper presents initial research on unification of methods for verification and validation (V&V) of software systems. The synergism among methods for V&V…”
Get full text

Sequence operators: specifying behavioral interfaces of Smalltalk blocks by Yoonsik Cheon, Heung-Nam Kim

“…The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as…”
Get full text

A runtime assertion checker for the Java Modeling Language by Cheon, Yoonsik

“…The Java Modeling Language (JML) is a formal behavioral interface specification language (BISL) for Java. JML has many advances including specification-only…”
Get full text

A runtime assertion checker for the Java Modeling Language by Cheon, Yoonsik

“…The Java Modeling Language (JML) is a formal behavioral interface specification language (BISL) for Java. JML has many advances including specification-only…”
Get full text