Shin Hong
Shin Hong
Handong Global University, Republic of Korea
Geverifieerd e-mailadres voor handong.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
702012
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
542015
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
522014
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
402012
A survey of race bug detection techniques for multithreaded programmes
S Hong, M Kim
Software Testing, Verification and Reliability 25 (3), 191-217, 2015
302015
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 82, 80-95, 2017
282017
The impact of concurrent coverage metrics on testing effectiveness
S Hong, M Staats, J Ahn, M Kim, G Rothermel
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
212013
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 25 (4), 334-370, 2015
172015
Effective pattern-driven concurrency bug detection for operating systems
S Hong, M Kim
Journal of Systems and Software 86 (2), 377-388, 2013
152013
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage
Y Kim, S Hong, B Ko, LD Phan, M Kim
2018 11th IEEE International Conference on Software Testing, Verification …, 2018
132018
Target-driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection
Y Kim, S Hong, M Kim
ESEC/FSE 2019, 2019
122019
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
International Conference on Software Engineering (ICSE) 2, 29-38, 2015
122015
Classifying False Positive Static Checker Alarms In Continuous Integration Using Convolutional Neural Networks
SL Lee, S Hong, J Yi, T Kim, CJ Kim, S Yoo
International Conference on Software Testing, Verification and Validation …, 2019
112019
Model-based kernel testing for concurrency bugs through counter example replay
M Kim, S Hong, C Hong, T Kim
Electronic Notes in Theoretical Computer Science 253 (2), 21-36, 2009
42009
DEMINER: test generation for high test coverage through mutant exploration
Y Kim, S Hong
Software Testing, Verification and Reliability 31 (1-2), e1715, 2021
22021
Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class
S Hong
Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020
12020
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark
RS Herlim, S Hong, Y Kim, M Kim
International Symposium on Search Based Software Engineering, 121-135, 2021
2021
Predictive Mutation Analysis via Natural Language Channel in Source Code
J Kim, J Jeon, S Hong, S Yoo
arXiv preprint arXiv:2104.10865, 2021
2021
Threats to validity in experimenting mutation-based fault localization
J Jeon, S Hong
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
2020
Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구
전이루, 김윤호, 홍신, 김문주
Journal of KIISE 43 (9), 974-982, 2016
2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20