Sensitization of symbolic runs in real-time testing using the ORIS tool.

Laura Carnevali, Luigi Sassoli, Enrico Vicario

Browse the full ETFA paper archive.