Jooyong Lee

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 1

Top Topics

Web Based Education

Engineering Education

Learning Design

Top Venues

Publications

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
Teaching Programming and Design-by-Contract. ICL (1) (2018)
Xianghua Deng, Jooyong Lee, Robby
Efficient and formal generalized symbolic execution. Autom. Softw. Eng. 19 (3) (2012)
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe
Filtering false alarms of buffer overflow analysis using SMT solvers. Inf. Softw. Technol. 52 (2) (2010)
Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos
Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Jooyong Lee
Dynamic Reverse Code Generation for Backward Execution. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Xianghua Deng, Jooyong Lee, Robby
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE (2006)