9 citations · 16 across the 5 of their papers we have counts for
4 papers · 1 filter
Large Language Models for Software Testing: A Research Roadmap
Cristian Augusto, Antonia Bertolino, Guglielmo De Angelis +2
Large Language Models (LLMs) are starting to be profiled as one of the most significant disruptions in the Software Testing field. Specifically, they have been successfully applied…
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…
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…
On-line tracing of XACML-based policy coverage criteria
Francesca Lonetti, Eda Marchetti
Currently, eXtensible Access Control Markup Language (XACML) has becoming the standard for implementing access control policies and consequently more attention is dedicated to test…