TY - JOUR T1 - Comprehensive analysis of FBD test coverage criteria using mutants JO - Software & Systems Modeling PY - 2014/07/03 AU - Shin D AU - Jee E AU - Bae D-H ED - DO - DOI: 10.1007/s10270-014-0428-y PB - Springer Science and Business Media LLC VL - 15 IS - 3 SP - 631 EP - 645 Y2 - 2024/10/23 ER -