Moonzoo Kim - RankMe

58 papers A* 8A 14B 8C 2Journal 15Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ZigZagFuzz: Interleaved Fuzzing of Program Options and Files. ACM Trans. Softw. Eng. Methodol. Ahcheong Lee, Youngseok Choi, Shin Hong, Yunho Kim, Kyutae Cho, Moonzoo Kim
2022	A	`conf`	CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. ICST Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim
2022	A	`conf`	POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. ICST Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim
2021	J	`jnl`	Directed Model Checking for Fast Abstract Reachability Analysis. IEEE Access Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik
2021	B	`conf`	Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark. SSBSE Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim
2020	J	`jnl`	MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry. Inf. Softw. Technol. Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
2019	B	`conf`	A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
2019	—	`conf`	Concolic testing for high test coverage and reduced human effort in automotive industry. ICSE (SEIP) Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
2019	J	`jnl`	Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. ACM Trans. Softw. Eng. Methodol. Yunho Kim, Seokhyeon Mun, Shin Yoo, Moonzoo Kim
2019	—	`conf`	Target-driven compositional concolic testing with function summary refinement for effective bug detection. ESEC/SIGSOFT FSE Yunho Kim, Shin Hong, Moonzoo Kim
2018	A	`conf`	Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage. ICST Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim
2018	—	`conf`	MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. ICST Workshops Duy Loc Phan, Yunho Kim, Moonzoo Kim
2018	A*	`conf`	Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. ICSE Yunho Kim, Yunja Choi, Moonzoo Kim
2017	J	`jnl`	MUSEUM: Debugging real-world multilingual programs using mutation analysis. Inf. Softw. Technol. Shin Hong, Taehoon Kwak, ByeongCheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim
2015	J	`jnl`	A survey of race bug detection techniques for multithreaded programmes. Softw. Test. Verification Reliab. Shin Hong, Moonzoo Kim
2015	J	`jnl`	Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. Softw. Test. Verification Reliab. Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel
2015	J	`jnl`	Directed test suite augmentation: an empirical investigation. Softw. Test. Verification Reliab. Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
2015	A*	`conf`	Mutation-Based Fault Localization for Real-World Multilingual Programs (T). ASE Shin Hong, ByeongCheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim
2015	—	`conf`	Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven. ICSE (2) Yongbae Park, Shin Hong, Moonzoo Kim, Dongju Lee, Junhee Cho
2014	A	`conf`	Ask the Mutants: Mutating Faulty Programs for Fault Localization. ICST Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo
2014	A	`conf`	Detecting Concurrency Errors in Client-Side Java Script Web Applications. ICST Shin Hong, Yongbae Park, Moonzoo Kim
2014	A	`conf`	Hybrid Directed Test Suite Augmentation: An Interleaving Framework. ICST Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
2014	—	`conf`	SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. APSEC (1) Yunho Kim, Moonzoo Kim
2013	A*	`conf`	Automated unit testing of large industrial embedded software using concolic testing. ASE Yunho Kim, Youil Kim, Taeksu Kim, GunWoo Lee, Yoonkyu Jang, Moonzoo Kim
2013	J	`jnl`	Effective pattern-driven concurrency bug detection for operating systems. J. Syst. Softw. Shin Hong, Moonzoo Kim
2013	A	`conf`	The Impact of Concurrent Coverage Metrics on Testing Effectiveness. ICST Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel
2013	J	`jnl`	Validating Software Reliability Early through Statistical Model Checking. IEEE Softw. Young Joo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim
2012	A	`conf`	A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. ICST Moonzoo Kim, Yunho Kim, Gregg Rothermel
2012	J	`jnl`	Concolic testing of the multi-sector read operation for flash storage platform software. Formal Aspects Comput. Moonzoo Kim, Yunho Kim, Yunja Choi
2012	J	`jnl`	Controlled composition and abstraction for bottom-up integration and verification of abstract components. Inf. Softw. Technol. Yunja Choi, Moonzoo Kim
2012	A	`conf`	Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. ISSRE Young Joo Kim, Moonzoo Kim
2012	A	`conf`	Industrial Application of Concolic Testing on Embedded Software: Case Studies. ICST Moonzoo Kim, Yunho Kim, Yoonkyu Jang
2012	A*	`conf`	Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. ICSE Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang
2012	—	`conf`	Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation. Haifa Verification Conference Young Joo Kim, Moonzoo Kim, Tai-Hyo Kim
2012	A	`conf`	Testing concurrent programs to achieve high synchronization coverage. ISSTA Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold
2012	A	`conf`	Understanding user understanding: determining correctness of generated program invariants. ISSTA Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel
2011	J	`jnl`	A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. IEEE Trans. Software Eng. Moonzoo Kim, Yunho Kim, Hotae Kim
2011	A	`conf`	A Hybrid Directed Test Suite Augmentation Technique. ISSRE Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel
2011	B	`conf`	Automated Analysis of Industrial Embedded Software. ATVA Moonzoo Kim, Yunho Kim
2011	—	`conf`	SCORE: a scalable concolic testing tool for reliable embedded software. SIGSOFT FSE Yunho Kim, Moonzoo Kim
2010	—	`conf`	Directed test suite augmentation: techniques and tradeoffs. SIGSOFT FSE Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen
2010	C	`conf`	Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. ICTAC Yunho Kim, Moonzoo Kim, Nam Dang
2009	—	`conf`	Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. SBMF Moonzoo Kim, Yunho Kim
2009	—	`conf`	Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. MBT@ETAPS Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim
2008	B	`ed.`	Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ATVA Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
2008	—	`conf`	Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
2008	A	`conf`	Pre-testing Flash Device Driver through Model Checking Techniques. ICST Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
2008	A*	`conf`	Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE Moonzoo Kim, Yunho Kim, Hotae Kim
2007	B	`conf`	Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. ATVA Moonzoo Kim
2007	J	`jnl`	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 Joel M. Esposito, Moonzoo Kim
2006	B	`conf`	Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - ICSR Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu
2005	A*	`conf`	3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. ICRA Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang
2005	B	`conf`	Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. SPLC Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim
2005	B	`conf`	Formal Construction and Verification of Home Service Robots: A Case Study. ATVA Moonzoo Kim, Kyo Chul Kang
2005	A*	`conf`	Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. ICRA Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee
2005	A*	`conf`	Re-engineering software architecture of home service robots: a case study. ICSE Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang
2004	C	`conf`	Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC Mahesh Viswanathan, Moonzoo Kim
2004	J	`jnl`	Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky