34 citations · 34 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Vincent Mussot, Silvano Dal Zilio, Loic Correnson +3
We propose a new approach for modelling the functional behaviour of an Earth observation satellite. We leverage this approach in order to develop a safety critical software, a "tel…
cs.SE2017★ 34 cited
Freeing Testers from Polluting Test Objectives
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov +3
Testing is the primary approach for detecting software defects. A major challenge faced by testers lies in crafting efficient test suites, able to detect a maximum number of bugs w…