Login / Signup

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking.

Eduard Paul EnoiuDaniel SundmarkAdnan CausevicRobert FeldtPaul Pettersson
Published in: ICTSS (2016)
Keyphrases