3 papers:
MoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
- MoDELS-2012-ShinJB #analysis #empirical #evaluation #modelling #mutation testing #test coverage #using
- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis (DS, EJ, DHB), pp. 465–479.
SEKE-2011-YooLJC #independence #named #source code- FBDtoVerilog: A Vendor-Independent Translation from FBDs into Verilog Programs (JY, JHL, SJ, SDC), pp. 48–51.
