Yoonsik Cheon

The University of Texas at El Paso — United States

Computer Science · Physical Sciences

19h-index2.5kcitations84works0.22yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(32), Advanced Software Engineering Methodologies(30), Software Testing and Debugging Techniques(28), Software Engineering Research(27), Formal Methods in Verification(26)

Publications84 total

Writing Effective Test Oracle Assertions
2025
LLMs as Code Generators for Model-Driven Development
2025Open Access
Enhancing Design-by-Contract with Frame Specifications
2025· 1 citedOpen Access
Constructive Assertions with Abstract Models
2024Open Access
Code Smells for Assessing and Improving Students’ Coding Skills and Practices
Lecture notes in networks and systems·2024
Asserting Frame Properties
2024Open Access
A Library-Based Approach for Writing Design Assertions
2023· 1 cited
Design Assertions: Executable Assertions for Design Constraints
Lecture notes in computer science·2022· 2 cited
Toward More Effective Use of Assertions for Mobile App Development
2021· 4 cited
Converting Android Native Apps to Flutter Cross-Platform Apps
2021 International Conference on Computational Science and Computational Intelligence (CSCI)·2021· 18 cited
Coding Overhead of Mobile Apps
2020
Creating Flutter Apps from Native Android Apps
scholarworks - UTEP (The University of Texas at El Paso)·2020· 4 cited
Multiplatform Application Development for Android and Java
2019· 17 cited
Code Reuse between Java and Android Applications
2019· 6 citedOpen Access
Composing a Cross-platform Development Environment Using Maven
scholarworks - UTEP (The University of Texas at El Paso)·2018· 2 citedOpen Access
A Thought on Refactoring Java Loops Using Java 8 Streams
scholarworks - UTEP (The University of Texas at El Paso)·2017· 1 citedOpen Access
Impacts of Java Language Features on the Memory Performances of Android Apps
scholarworks - UTEP (The University of Texas at El Paso)·2017· 4 citedOpen Access
Sudoku App: Model-Driven Development of Android Apps Using OCL?
scholarworks - UTEP (The University of Texas at El Paso)·2017Open Access
Are Java Programming Best Practices Also Best Practices for Android
scholarworks - UTEP (The University of Texas at El Paso)·2016· 4 citedOpen Access
Specifying a Global Optimization Solver in Z
2016
page 1 of 5Next →

Frequent Co-authors

Gary T. Leavens(15), Carmen Sánchez Ávila(6), David R. Cok(4), Ashaveena Perumandla(3), Carlos Rubio-Terrés(3), Carlos Chavez(3), Lilian Burdy(2), Michael D. Ernst(2), Erik Poll(2), Curtis Clifton(2), Clyde Ruby(2), Murali Sitaraman(2), Stephen H. Edwards(2), Myoung Yee Kim(2), Myoung Kim(2), Amritam Sarcar(2), Steve Roach(2), Cuauhtemoc Munoz(2), Cesar Yeep(2), Joseph R. Kiniry(1)