Donghwan Shin
Donghwan Shin
Home
Publications
Projects
Services
Honors
Light
Dark
Automatic
function block diagram
Automated test case generation for FBD programs implementing reactor protection system software
Automated and effective testing for function block diagram (FBD) programs has become an important issue, as FBD is increasingly used in implementing safety-critical systems. This work describes an automated test case generation technique for FBD …
Cite
×