TY - CHAP T1 - Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis T2 - Model Driven Engineering Languages and Systems PY - 2012/10/24 AU - Shin D AU - Jee E AU - Bae D-H ED - DO - DOI: 10.1007/978-3-642-33666-9_30 PB - Springer Berlin Heidelberg SN - 9783642336652 SP - 465 EP - 479 Y2 - 2024/12/22 ER -