10 citations · 10 across the 2 of their papers we have counts for
3 papers
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Khouloud Gaaloul, Claudio Menghi, Shiva Nejati +2
Software verification may yield spurious failures when environment assumptions are not accounted for. Environment assumptions are the expectations that a system or a component make…
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Claudio Menghi, Shiva Nejati, Lionel C. Briand +1
Black-box testing has been extensively applied to test models of Cyber-Physical systems (CPS) since these models are not often amenable to static and symbolic testing and verificat…
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
Chaima Boufaied, Maris Jukss, Domenico Bianculli +2
The behavior of a cyber-physical system (CPS) is usually defined in terms of the input and output signals processed by sensors and actuators. Requirements specifications of CPSs ar…