research
∙
01/29/2023
Specification Inference for Evolving Systems
In this paper, we propose an assertion-based approach to capture softwar...
share
research
∙
01/28/2023
Assertion Inferring Mutants
Specification inference techniques aim at (automatically) inferring a se...
research
∙
01/26/2022
Fuzzing Class Specifications
Expressing class specifications via executable constraints is important ...
research
∙
02/26/2021
