Shiva Nejati

Latest

• Mining Assumptions for Software Components using Machine Learning
• Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
• Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
• Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors