Shin Hong
Shin Hong
Handong Global University, Republic of Korea
handong.edu의 이메일 확인됨 - 홈페이지
제목인용연도
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
452012
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
352014
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
262012
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
232015
A survey of race bug detection techniques for multithreaded programmes
S Hong, M Kim
Software Testing, Verification and Reliability 25 (3), 191-217, 2015
152015
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
152013
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
132015
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
112017
Effective pattern-driven concurrency bug detection for operating systems
S Hong, M Kim
Journal of Systems and Software 86 (2), 377-388, 2013
92013
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
62015
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
42018
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
32009
Mutagen4J: 효과적인 Java 프로그램 변이 생성 도구
전이루, 김윤호, 홍신, 김문주
Journal of KIISE 43 (9), 974-982, 2016
2016
크로스-브라우저 프로파일링을 통한 웹 어플리케이션 성능버그 탐지
박용배, 홍신, 김문주
정보과학회논문지: 컴퓨팅의 실제 및 레터 19 (11), 559-571, 2013
2013
모델기반의 커널 테스팅 프레임워크
김문주, 홍신
정보과학회논문지: 소프트웨어 및 응용 36 (7), 523-530, 2009
2009
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–15