Answers are grounded in this paper and cite their sources.
We present a method for automatically generating tests for reactive systems specified by concurrently executing extended finite state machines. The generated test suites satisfy the modified condition/decision coverage criterion at unit and integration levels. The generation of MC/DC suites for eager first-order functional programs is subsumed. An industrial chip card case study illustrates the approach.
No takes yet. Share an insight, caveat, or question.
Alexander Pretschner (2003) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: