7 citations · 13 across the 3 of their papers we have counts for
3 papers
A Systematic Approach to Automotive Security
Masoud Ebrahimi, Stefan Marksteiner, Dejan Ničković +8
We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system arch…
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…
Property-Based Mutation Testing
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic +1
Mutation testing is an established software quality assurance technique for the assessment of test suites. While it is well-suited to estimate the general fault-revealing capabilit…