Empirical evaluation of mutation‐based test case prioritization techniques von Shin, Donghwan, Yoo, Shin, Papadakis, Mike, Bae, Doo‐Hwan

Volltext

MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software von Liu, Lingjun, Jee, Eunkyoung, Bae, Doo‐Hwan

Volltext

Efficient noise injection for exposing hidden data races von Yu, Misun, Ma, Yu-Seung, Bae, Doo-Hwan

Volltext

Constraint-based human resource allocation in software projects von Kang, Dongwon, Jung, Jinhwan, Bae, Doo-Hwan

Volltext

On the value of outlier elimination on software effort estimation research von Seo, Yeong-Seok, Bae, Doo-Hwan

Volltext

Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study von Song, Jiyoung, Bae, Doo-Hwan

Volltext

Hierarchical ordering with partial pairwise hierarchical relationships on the macaque brain data sets von Lim, Woosang, Lee, Jungsoo, Lim, Yongsub, Bae, Doo-Hwan, Park, Haesun, Kim, Dae-Shik, Jung, Kyomin

Volltext

A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion von Shin, Donghwan, Yoo, Shin, Bae, Doo-Hwan

Volltext

Automated scheduling for clone-based refactoring using a competent GA von Lee, Sukhee, Bae, Gigon, Chae, Heung Seok, Bae, Doo-Hwan, Kwon, Yong Rae

Volltext

Automated test case generation for FBD programs implementing reactor protection system software von Jee, Eunkyoung, Shin, Donghwan, Cha, Sungdeok, Lee, Jang-Soo, Bae, Doo-Hwan

Volltext

Experimental Performance Comparison of Dynamic Data Race Detection Techniques von Yu, Misun, Park, Seung‐Min, Chun, Ingeol, Bae, Doo‐Hwan

Volltext

Timed pattern-based analysis of collaboration failures in system-of-systems von Hyun, Sangwon, Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing von Song, Jiyoung, Kang, Jeehoon, Hyun, Sangwon, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states von Song, Jiyoung, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext

Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning von Shin, Yong-Jun, Shin, Donghwan, Bae, Doo-Hwan

Volltext

Comparing model-based and dynamic event-extraction based GUI testing techniques: An empirical study von Bae, Gigon, Rothermel, Gregg, Bae, Doo-Hwan

Volltext

An empirical study of supplementary patches in open source projects von Park, Jihun, Kim, Miryung, Bae, Doo-Hwan

Volltext

AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning von Seo, Yeong-Seok, Bae, Doo-Hwan, Jeffery, Ross

Volltext

Correction to: Efficient noise injection for exposing hidden data races von Yu, Misun, Ma, Yu-Seung, Bae, Doo-Hwan

Volltext

Comprehensive analysis of FBD test coverage criteria using mutants von Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan

Volltext