Showing cs.SEShow all
2 papers · 1 filter
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.SE2023
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh +1
An input to a system reveals a non-robust behaviour when, by making a small change in the input, the output of the system changes from acceptable (passing) to unacceptable (failing…