Moonzoo Kim
Moonzoo Kim
Associate Professor of Computer Science, KAIST
E-mail confirmado em cs.kaist.ac.kr - Página inicial
Título
Citado por
Citado por
Ano
Java-MaC: A run-time assurance approach for Java programs
M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky
Formal methods in system design 24 (2), 129-155, 2004
2942004
Java-MaC: a run-time assurance tool for Java programs
M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan
Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001
2442001
Runtime assurance based on formal specifications
I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan
Parallel and Distributed Processing Techniques and Applications (PDPTA), 279-287, 1999
2381999
Formally specified monitoring of temporal properties
M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 1999
1831999
Ask the mutants: Mutating faulty programs for fault localization
S Moon, Y Kim, M Kim, S Yoo
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
1602014
Verisim: Formal analysis of network simulations
K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ...
IEEE Transactions on Software Engineering 28 (2), 129-145, 2002
1222002
Directed test suite augmentation: techniques and tradeoffs
Z Xu, Y Kim, M Kim, G Rothermel, MB Cohen
ACM SIGSOFT Intl. symp. on Foundations of Software Engineering (FSE), 257-266, 2010
1112010
Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets – a Case Study
KC Kang, M Kim, J Lee, B Kim
International Conference on Software Product Lines, 45-56, 2005
902005
Monitoring, checking, and steering of real-time systems
M Kim, I Lee, U Sammapun, J Shin, O Sokolsky
Electronic Notes in Theoretical Computer Science 70 (4), 95-111, 2002
872002
Testing concurrent programs to achieve high synchronization coverage
S Hong, J Ahn, S Park, M Kim, MJ Harrold
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
682012
Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination
R Alur, J Esposito, M Kim, V Kumar, I Lee
International Symposium on Formal Methods, 212-232, 1999
571999
A monitoring and checking framework for run-time correctness assurance
I Lee, H Ben-Abdallah, S Kannan, M Kim, O Sokolsky, M Viswanathan
Korea-U.S. Technical Conference on Strategic Technologies,Vienna, VA …, 1998
521998
A scalable distributed concolic testing approach: An empirical evaluation
M Kim, Y Kim, G Rothermel
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
502012
Automated unit testing of large industrial embedded software using concolic testing
Y Kim, Y Kim, T Kim, G Lee, Y Jang, M Kim
IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2013
492013
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
Y Kim, M Kim, YJ Kim, Y Jang
2012 34th International Conference on Software Engineering (ICSE), 1143-1152, 2012
492012
Detecting concurrency errors in client-side java script web applications
S Hong, Y Park, M Kim
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
482014
Mutation-based Fault Localization for Real-world Multilingual Programs
S Hong, B Lee, T Kwak, Y Jeon, B Ko, Y Kim, M Kim
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015
472015
A comparative study of software model checkers as unit testing tools: An industrial case study
M Kim, Y Kim, H Kim
IEEE transactions on software engineering 37 (2), 146-160, 2010
412010
Understanding user understanding: determining correctness of generated program invariants
M Staats, S Hong, M Kim, G Rothermel
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
382012
Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language
M Viswanathan, M Kim
International Colloquium on Theoretical Aspects of Computing, 543-556, 2004
382004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20