발행물

전체 논문

47

11

Classifying False Positive Static Checker Alarms in Continuous Integration using Convolutional Neural Networks
S. Lee, S. Hong, J. Yi, T. Kim, C. Kim, S. Yoo
International Conference on Software Testing, Verification and Validation (ICST), 2019

12

Invasive Software Testing: Mutating Target Programs to Achieve High Test Coverage
Y. Kim, S. Hong, B. Ko, M. Kim
International Conference on Software Testing, Verification and Validation (ICST), 2018

13

MUSEUM: Debugging Real-World Multilingual Programs Using Mutation Analysis
S. Hong, T. Kwak, B. Lee, Y. Jeon, B. Ko, Y. Kim, M. Kim
Information and Software Technology (IST), 2017

14

Mutation Based Fault Localization for Real-World Multilingual Programs
S. Hong, B. Lee, T. Kwak, Y. Jeon, B. Ko, Y. Kim, M. Kim
30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015

15

Are Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical Investigation
S. Hong, M. Staats, J. Ahn, M. Kim, G. Rothermel
Software Testing, Verification and Reliability (STVR), 2015

16

Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven
Y. Park, S. Hong, M. Kim, D. Lee, J. Cho
37th International Conference on Software Engineering,

17

A Survey of Race Bug Detection Techniques for Multithreaded Programmes
S. Hong, M. Kim
Software Testing, Verification and Reliability (STVR), 2015

18

Detecting Concurrency Errors in Client-side JavaScript Web Applications
S. Hong, Y. Park, M. Kim
7th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2014

19

Impact of Concurrent Coverage Metrics on Testing Effectiveness
S. Hong, M. Staats, J. Ahn, M. Kim, G. Rothermel
6th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2013

20

Effective Pattern-driven Concurrency Bug Detection for Operating Systems
S. Hong, M. Kim
Journal of Systems and Software (JSS), 2013