research
∙
09/18/2023
TOPr: Enhanced Static Code Pruning for Fast and Precise Directed Fuzzing
Directed fuzzing is a dynamic testing technique that focuses exploration...
share
research
∙
07/21/2023
Wanted: standards for automatic reproducibility of computational experiments
Those seeking to reproduce a computational experiment often need to manu...
research
∙
07/23/2018
Fault Localization for Declarative Models in Alloy
Fault localization is a popular research topic and many techniques have ...
research
∙
02/10/2018
