research
∙
07/10/2023
Can Large Language Models Write Good Property-Based Tests?
Property-based testing (PBT), while an established technique in the soft...
share
research
∙
09/19/2022
Distributed Execution Indexing
This work-in-progress report presents both the design and partial evalua...
research
∙
09/08/2022
SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers
Performance issues in software-defined network (SDN) controllers can hav...
research
∙
03/08/2021
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction
The emerging data-intensive applications are increasingly dependent on d...
research
∙
03/07/2021
Growing a Test Corpus with Bonsai Fuzzing
This paper presents a coverage-guided grammar-based fuzzing technique fo...
research
∙
11/30/2018
