10 citations · 26 across the 14 of their papers we have counts for
3 papers · 1 filter
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
Federico Formica, Tony Fan, Akshay Rajhans +3
Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to ex…
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Federico Formica, Tony Fan, Claudio Menghi
Search-based software testing (SBST) typically relies on fitness functions to guide the search exploration toward software failures. There are two main techniques to define fitness…
Trace Diagnostics for Signal-based Temporal Properties
Chaima Boufaied, Claudio Menghi, Domenico Bianculli +1
Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the v…