Using equivalence classes for testing programs for safety instrumented systems.

Kezia de Vasconcelos Oliveira, Angelo Perkusich, Kyller Costa Gorgnio, Leandro Dias da Silva, Aldenor Falcao Martins

Browse the full ETFA paper archive.