research
∙
07/11/2023
Tests4Py: A Benchmark for System Testing
Benchmarks are among the main drivers of progress in software engineerin...
share
research
∙
05/30/2023
User Driven Functionality Deletion for Mobile Apps
Evolving software with an increasing number of features is harder to und...
research
∙
12/06/2022
How to Compare Fuzzers
Fuzzing is a key method to discover vulnerabilities in programs. Despite...
research
∙
08/25/2022
Electronic Appendix to "Input Invariants"
In this electronic appendix to our paper "Input Invariants," accepted at...
research
∙
08/17/2022
Input Repair via Synthesis and Lightweight Error Feedback
Often times, input data may ostensibly conform to a given input format, ...
research
∙
09/23/2021
FormatFuzzer: Effective Fuzzing of Binary File Formats
Effective fuzzing of programs that process structured binary inputs, suc...
research
∙
05/07/2021
What do all these Buttons do? Statically Mining Android User Interfaces at Scale
We introduce FRONTMATTER: a tool to automatically mine both user interfa...
research
∙
03/04/2021
Restoring Execution Environments of Jupyter Notebooks
More than ninety percent of published Jupyter notebooks do not state dep...
research
∙
01/08/2021
Locating Faults with Program Slicing: An Empirical Analysis
Statistical fault localization is an easily deployed technique for quick...
research
∙
12/25/2020
Fuzzing with Fast Failure Feedback
Fuzzing – testing programs with random inputs – has become the prime tec...
research
∙
12/12/2019
Inferring Input Grammars from Dynamic Control Flow
A program is characterized by its input model, and a formal input model ...
research
∙
11/18/2019
Building Fast Fuzzers
Fuzzing is one of the key techniques for evaluating the robustness of pr...
research
∙
06/12/2019
Better Code, Better Sharing:On the Need of Analyzing Jupyter Notebooks
By bringing together code, text, and examples, Jupyter notebooks have be...
research
∙
06/04/2019
Bridging the Gap between Unit Test Generation and System Test Generation
Common test generators fall into two categories. Generating test inputs ...
research
∙
12/19/2018
Carving Parameterized Unit Tests
We present a method to automatically extract ("carve") parameterized uni...
research
∙
12/18/2018
Inputs from Hell Generating Uncommon Inputs from Common Samples
Generating structured input files to test programs can be performed by t...
research
∙
10/18/2018
Sample-Free Learning of Input Grammars for Comprehensive Software Fuzzing
Generating valid test inputs for a program is much easier if one knows t...
research
∙
08/29/2017
