activity
20082025
most citedAn automated model-based test oracle for access control systems

9 citations · 16 across the 5 of their papers we have counts for

collaborators

5 papers

cs.SE2025

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…

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…

cs.SE2018★ 3 cited

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…

cs.NI2008★ 4 cited

Perfect tag identification protocol in RFID networks

Maurizio A. Bonuccelli, Francesca Lonetti, Francesca Martelli

Radio Frequency IDentification (RFID) systems are becoming more and more popular in the field of ubiquitous computing, in particular for objects identification. An RFID system is c…