9 citations · 9 across the 2 of their papers we have counts for
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.SE2018★ 9 cited
An automated model-based test oracle for access control systems
Antonia Bertolino, Said Daoudagh, Francesca Lonetti +1
In the context of XACML-based access control systems, an intensive testing activity is among the most adopted means to assure that sensible information or resources are correctly a…