MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software

Published in Software Testing, Verification and Reliability, 2022