3 papers
cs.SE2026
Synthesizing Behavioural Models of CPS Using Automata Learning and Statistical Machine Learning
Negin Ayoughi, Baharin A. Jodat, Armina Faghihi +3
Inferring behavioural models from system executions is essential for supporting formal verification and analysis of complex, heterogeneous cyber-physical systems (CPS). Automata le…
cs.SE2025
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Baharin A. Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh +1
Simulation-based testing of cyber-physical systems (CPS) is costly due to the time-consuming execution of CPS simulators. In addition, CPS simulators may be flaky, leading to incon…
cs.SE2023
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures
Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati +1
Test inputs fail not only when the system under test is faulty but also when the inputs are invalid or unrealistic. Failures resulting from invalid or unrealistic test inputs are s…