Keyphrases
Function Block Diagram
100%
System Software
100%
Reactor Protection System
100%
Automated Test Generation
100%
Generated Tests
50%
Generation Method
16%
Safety-critical Systems
16%
Mutation Analysis
16%
Industrial Case Study
16%
Automated Testing
16%
Test Coverage Criteria
16%
Satisfiability Modulo Theories
16%
Effective Testing
16%
Test Sequence Generation
16%
Computer Science
Function Block Diagram
100%
System Software
100%
Case Generation
100%
Automated Test
100%
Safety Critical Systems
16%
Case Study
16%
Coverage Criterion
16%
Industrial Case
16%
Test Requirement
16%
Generated Test Case
16%
Engineering
Block Diagrams
100%
Reactor Protection System
100%
Test Sequence
16%
Critical System
16%
Test Requirement
16%