research
∙
05/29/2023
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
Automotive software development requires engineers to test their systems...
share
research
∙
04/28/2023
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models
Surrogate-assisted search-based testing (SA-SBT) aims to reduce the comp...
research
∙
12/22/2022
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
Simulation-based software testing supports engineers in finding faults i...
research
∙
07/22/2022
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Search-based software testing (SBST) typically relies on fitness functio...
research
∙
06/08/2022
Trace Diagnostics for Signal-based Temporal Properties
Most of the trace-checking tools only yield a Boolean verdict. However, ...
research
∙
09/25/2020
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Cyber-physical systems combine software and physical components. Specifi...
research
∙
07/22/2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the First Workshop on Agents and...
research
∙
10/07/2019
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
Black-box testing has been extensively applied to test models of Cyber-P...
research
∙
05/09/2019
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
Matlab/Simulink is a development and simulation language that is widely ...
research
∙
03/08/2019
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
Test automation requires automated oracles to assess test outputs. For c...
research
∙
01/07/2019
Specification Patterns for Robotic Missions
Mobile and general-purpose robots increasingly support our everyday life...
research
∙
11/26/2018
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
System development is not a linear, one-shot process. It proceeds throug...
research
∙
06/22/2018