research
∙
04/28/2023
Cross-coverage testing of functionally equivalent programs
Cross-coverage of a program P refers to the test coverage measured over ...
share
research
∙
09/08/2018
An automated model-based test oracle for access control systems
In the context of XACML-based access control systems, an intensive testi...
research
∙
09/07/2018
