2 papers
cs.SE2023
SimSched: A tool for Simulating Autosar Implementaion in Simulink
Jian Chen, Manar H. Alalfi, Thomas R. Dean +1
AUTOSAR (AUTomotive Open System ARchitecture) is an open industry standard for the automotive sector. It defines the three-layered automotive software architecture. One of these la…
cs.SE2023
Timed Model-Based Mutation Operators for Simulink Models
Jian Chen, Manar H. Alalfi, Thomas R. Dean
Model-based mutation analysis is a recent research area, and real-time system testing can benefit from using model mutants. Model-based mutation testing (MBMT) is a particular bran…