2 papers
cs.SE2023
Cross-coverage testing of functionally equivalent programs
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico +1
Cross-coverage of a program P refers to the test coverage measured over a different program Q that is functionally equivalent to P. The novel concept of cross-coverage can find use…
cs.DC2016
Efficient non-anonymous composition operator for modeling complex dependable systems
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing compose…