Yunho Kim

According to our database1, Yunho Kim authored at least 40 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
DEMINER: test generation for high test coverage through mutant exploration.
Softw. Test. Verification Reliab., 2021

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

Novel mass-conserving Allen-Cahn equation for the boundedness of an order parameter.
Commun. Nonlinear Sci. Numer. Simul., 2020

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

A Newton's method characterization for real eigenvalue problems.
Numerische Mathematik, 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

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
Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming.
J. Vis. Commun. Image Represent., 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

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

2014
Intensity Nonuniformity Correction for Brain MR Images with Known Voxel Classes.
SIAM J. Imaging Sci., 2014

Image Restoration Using One-Dimensional Sobolev Norm Profiles of Noise and Texture.
SIAM J. Imaging Sci., 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

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

2013
Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona-Malik Type with Applications to Satellite Image Enhancement.
SIAM J. Imaging Sci., 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

2012
Wavelet Decomposition Method for L<sub>2/</sub>/TV-Image Deblurring.
SIAM J. Imaging Sci., 2012

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

A variational model for denoising high angular resolution diffusion imaging.
Proceedings of the 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, 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

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

A convex minimization model in image restoration via one-dimensional Sobolev norm profiles.
Proceedings of the 18th IEEE International Conference on Image Processing, 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
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System.
Proceedings of the Formal Methods: Foundations and Applications, 2009

HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient <i>sADC</i>.
Proceedings of the Information Processing in Medical Imaging, 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

Functional minimization problems in image processing.
Proceedings of the Computational Imaging VI, 2008


  Loading...