Moonzoo Kim

According to our database1, Moonzoo Kim authored at least 52 papers between 2004 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry.
Inf. Softw. Technol., 2020

2019
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs.
ACM Trans. Softw. Eng. Methodol., 2019

Target-driven compositional concolic testing with function summary refinement for effective bug detection.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Retrospective Look at the Monitoring and Checking (MaC) Framework.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Concolic testing for high test coverage and reduced human effort in automotive industry.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
MUSEUM: Debugging real-world multilingual programs using mutation analysis.
Inf. Softw. Technol., 2017

2015
Directed test suite augmentation: an empirical investigation.
Softw. Test. Verification Reliab., 2015

Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation.
Softw. Test. Verification Reliab., 2015

A survey of race bug detection techniques for multithreaded programmes.
Softw. Test. Verification Reliab., 2015

Mutation-Based Fault Localization for Real-World Multilingual Programs (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Ask the Mutants: Mutating Faulty Programs for Fault Localization.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Hybrid Directed Test Suite Augmentation: An Interleaving Framework.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Detecting Concurrency Errors in Client-Side Java Script Web Applications.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Validating Software Reliability Early through Statistical Model Checking.
IEEE Softw., 2013

Effective pattern-driven concurrency bug detection for operating systems.
J. Syst. Softw., 2013

Automated unit testing of large industrial embedded software using concolic testing.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

The Impact of Concurrent Coverage Metrics on Testing Effectiveness.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012
Controlled composition and abstraction for bottom-up integration and verification of abstract components.
Inf. Softw. Technol., 2012

Concolic testing of the multi-sector read operation for flash storage platform software.
Formal Aspects Comput., 2012

Understanding user understanding: determining correctness of generated program invariants.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Testing concurrent programs to achieve high synchronization coverage.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Industrial Application of Concolic Testing on Embedded Software: Case Studies.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE.
Proceedings of the 34th International Conference on Software Engineering, 2012

Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation.
Proceedings of the Hardware and Software: Verification and Testing, 2012

2011
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.
IEEE Trans. Software Eng., 2011

SCORE: a scalable concolic testing tool for reliable embedded software.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

A Hybrid Directed Test Suite Augmentation Technique.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Automated Analysis of Industrial Embedded Software.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Directed test suite augmentation: techniques and tradeoffs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.
Proceedings of the Theoretical Aspects of Computing, 2010

2009
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.
Electron. Notes Theor. Comput. Sci., 2009

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System.
Proceedings of the Formal Methods: Foundations and Applications, 2009

2008
Formal Verification of a Flash Memory Device Driver - An Experience Report.
Proceedings of the Model Checking Software, 2008

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Pre-testing Flash Device Driver through Model Checking Techniques.
Proceedings of the First International Conference on Software Testing, 2008

2007
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study.
IEEE Trans. Syst. Man Cybern. Part A, 2007

Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - <i>A Case Study</i>.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

2005
Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study.
Proceedings of the Software Product Lines, 9th International Conference, 2005

Re-engineering software architecture of home service robots: a case study.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Formal Construction and Verification of Home Service Robots: A Case Study.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods Syst. Des., 2004

Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.
Proceedings of the Theoretical Aspects of Computing, 2004


  Loading...