1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Federico Formica, Chris George, Shayda Rahmatyan +4
Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many…