Improving the accuracy of oracle verdicts through automated model steering

Keyphrases

• Automated Model 100%
• Automated Steering 20%
• Behavior Differences 20%
• Behavioral Differences 20%
• Behavioral Model 20%
• Constraint Set 20%
• Development Cost 20%
• Dissimilarity Metric 20%
• Major Components 20%
• Non-deterministic 40%
• Oracle 100%
• Real Faults 20%
• Real-time Embedded Systems 20%
• Search Process 20%
• Sensor Noise 20%
• Sensory Input 20%
• Small Changes 20%
• System Testing 100%
• Test Oracle 40%
• Testing Process 20%
• Timing Behavior 20%
• Timing Sensor 20%

Computer Science

• Acceptable Behavior 33%
• Behavior Model 33%
• Correctness 33%
• Embedded System 33%
• False Positive 100%
• Major Component 33%
• Testing Process 33%
• Timing Behavior 33%