Synthesis of high-level requirements models for automatic test generation

Keyphrases

• Requirement Model 100%
• High-level Requirements 100%
• Automated Test Generation 100%
• Model Code 33%
• All Levels 33%
• Assure 33%
• State-based 33%
• Functional Requirements 33%
• Design Activity 33%
• Function Model 33%
• Design Case 33%
• Event-based 33%
• Real-time Embedded Systems 33%
• Synthesizer 33%
• Functional Representation 33%
• Developed Algorithm 33%

Computer Science

• Test Generation 100%
• Requirements Models 100%
• Design Activity 33%
• Functional Requirement 33%
• Automatic Generation 33%
• Functional Representation 33%
• Embedded System 33%