| Year |
Citation |
Score |
| 2015 |
Barua A, Cheon Y. Finding specifications of while statements using patterns Lecture Notes in Electrical Engineering. 312: 581-588. DOI: 10.1007/978-3-319-06764-3_75 |
0.368 |
|
| 2013 |
Avila C, Cheon Y. Functional verification of class invariants in CleanJava Lecture Notes in Electrical Engineering. 152: 1067-1076. DOI: 10.1007/978-1-4614-3535-8_88 |
0.379 |
|
| 2010 |
Sarcar A, Cheon Y. A new eclipse-based JML compiler built using AST merging Proceedings - 2010 2nd Wri World Congress On Software Engineering, Wcse 2010. 2: 287-292. DOI: 10.1109/WCSE.2010.92 |
0.419 |
|
| 2010 |
Cheon Y, Yeep C, Vela M. CleanJava: A formal notation for functional program verification Proceedings - 2011 8th International Conference On Information Technology: New Generations, Itng 2011. 221-226. DOI: 10.1109/ITNG.2011.46 |
0.361 |
|
| 2010 |
Avila C, Sarcar A, Cheon Y, Yeep C. Runtime constraint checking approaches for OCL, a critical comparison Seke 2010 - Proceedings of the 22nd International Conference On Software Engineering and Knowledge Engineering. 393-398. |
0.473 |
|
| 2008 |
Cheon Y, Ceberio M, Cortes A, Leavens GT. Integrating random testing with constraints for improved efficiency and diversity 20th International Conference On Software Engineering and Knowledge Engineering, Seke 2008. 861-866. |
0.557 |
|
| 2008 |
Avila C, Flores G, Cheon Y. A library-based approach to translating OCL constraints to JML assertions for runtime checking Proceedings of the 2008 International Conference On Software Engineering Research and Practice, Serp 2008. 403-408. |
0.341 |
|
| 2007 |
Cheon Y, Perumandla A. Specifying and checking method call sequences of Java programs Software Quality Journal. 15: 7-25. DOI: 10.1007/S11219-006-9001-4 |
0.552 |
|
| 2007 |
Cheon Y. Automated random testing to detect specification-code inconsistencies International Conference On Software Engineering Theory and Practice 2007, Setp 2007. 112-119. |
0.431 |
|
| 2006 |
Perez AB, Cheon Y, Gates AQ. Canica: An Ide for the Java modeling language Proceedings of the 10th Iasted International Conference On Software Engineering and Applications, Sea 2006. 32-37. |
0.448 |
|
| 2005 |
Cheon Y, Leavens GT. A contextual interpretation of undefinedness for runtime assertion checking Proceedings of the 6th International Symposium On Automated and Analysis-Driven Debugging, Aadebug 2005. 149-158. DOI: 10.1145/1085130.1085150 |
0.715 |
|
| 2005 |
Burdy L, Cheon Y, Cok DR, Ernst MD, Kiniry JR, Leavens GT, Leino KRM, Poll E. An overview of JML tools and applications International Journal On Software Tools For Technology Transfer. 7: 212-232. DOI: 10.1016/S1571-0661(04)80810-7 |
0.723 |
|
| 2005 |
Leavens GT, Cheon Y, Clifton C, Ruby C, Cok DR. How the design of JML accommodates both runtime assertion checking and formal verification Science of Computer Programming. 55: 185-208. DOI: 10.1016/J.Scico.2004.05.015 |
0.394 |
|
| 2005 |
Cheon Y, Leavens G, Sitaraman M, Edwards S. Model variables: cleanly supporting abstraction in design by contract: Research Articles Software - Practice and Experience. 35: 583-599. DOI: 10.1002/Spe.V35:6 |
0.605 |
|
| 2005 |
Cheon Y, Leavens G, Sitaraman M, Edwards S. Model variables: Cleanly supporting abstraction in design by contract Software - Practice and Experience. 35: 583-599. DOI: 10.1002/Spe.649 |
0.703 |
|
| 2005 |
Cheon Y, Perumandla A. Specifying and checking method call sequences in JML Proceedings of the 2005 International Conference On Software Engineering Research and Practice, Serp'05. 2: 511-516. |
0.417 |
|
| 2002 |
Cheon Y, Leavens GT. A simple and practical approach to unit testing: The JML and JUnit way Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2374: 231-255. |
0.645 |
|
| 1994 |
Cheon Y, Leavens GT. The Larch/Smalltalk Interface Specification Language Acm Transactions On Software Engineering and Methodology (Tosem). 3: 221-253. DOI: 10.1145/196092.195325 |
0.707 |
|
| Show low-probability matches. |