2 papers
cs.SE2022
Bounded Invariant Checking for Stateflow
Predrag Filipovikj, Gustav Ung, Dilian Gurov +1
Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solut…
cs.SE2018
An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models
Raluca Marinescu, Predrag Filipovikj, Eduard Paul Enoiu +2
Early design artifacts of embedded systems, such as architectural models, represent convenient abstractions for reasoning about a system's structure and functionality. One such exa…