The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yoonsik Cheon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yoonsik Cheon, Gary T. Leavens
    A contextual interpretation of undefinedness for runtime assertion checking. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:149-158 [Conf]
  2. Yoonsik Cheon, Kangho Kim, Chulhong Kim, Youngbae Oh
    From LOTOS to C++, Issues and Tool Development. [Citation Graph (0, 0)][DBLP]
    Applied Informatics, 1999, pp:368-371 [Conf]
  3. Yoonsik Cheon, Heung-Nam Kim
    Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:468-475 [Conf]
  4. Yoonsik Cheon, Gary T. Leavens
    A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:231-255 [Conf]
  5. Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
    How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:262-284 [Conf]
  6. Yoonsik Cheon, Myoung Kim
    A specification-based fitness function for evolutionary testing of object-oriented programs. [Citation Graph (0, 0)][DBLP]
    GECCO, 2006, pp:1953-1954 [Conf]
  7. James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller
    Unification of verification and validation methods for software systems: progress report and initial case study formulation. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  8. Gary T. Leavens, Yoonsik Cheon
    Preliminary Design of Larch/C++. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:159-184 [Conf]
  9. Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla
    A Complete Automation of Unit Testing for Java Programs. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:290-295 [Conf]
  10. Yoonsik Cheon, Ashaveena Perumandla
    Specifying and Checking Method Call Sequences in JML. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:511-516 [Conf]
  11. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
    An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  12. Yoonsik Cheon, Gary T. Leavens
    A Quick Overview of Larch/C++. [Citation Graph (0, 0)][DBLP]
    JOOP, 1994, v:7, n:6, pp:39-49 [Journal]
  13. Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
    How the design of JML accommodates both runtime assertion checking and formal verification. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:185-208 [Journal]
  14. Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards
    Model variables: cleanly supporting abstraction in design by contract. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2005, v:35, n:6, pp:583-599 [Journal]
  15. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
    An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:212-232 [Journal]
  16. Yoonsik Cheon, Gary T. Leavens
    The Larch/Smalltalk Interface Specification Language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:3, pp:221-253 [Journal]
  17. Yoonsik Cheon, Ashaveena Perumandla
    Specifying and checking method call sequences of Java programs. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2007, v:15, n:1, pp:7-25 [Journal]

  18. Automating Java Program Testing Using OCL and AspectJ. [Citation Graph (, )][DBLP]


  19. An Aspect-Based Approach to Checking Design Constraints at Run-Time. [Citation Graph (, )][DBLP]


  20. Abstraction in Assertion-Based Test Oracles. [Citation Graph (, )][DBLP]


  21. Integrating Random Testing with Constraints for Improved Efficiency and Diversity. [Citation Graph (, )][DBLP]


  22. Architectural Assertions: Checking Architectural Constraints at Run-Time. [Citation Graph (, )][DBLP]


  23. A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. [Citation Graph (, )][DBLP]


  24. Random Test Data Generation for Java Classes Annotated with JML Specifications. [Citation Graph (, )][DBLP]


  25. Automated Random Testing to Detect Specification-Code Inconsistencies. [Citation Graph (, )][DBLP]


  26. A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002