research
∙
09/05/2023
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
An "adequate" test suite should effectively find all inconsistencies bet...
share
research
∙
09/05/2023
Contextual Predictive Mutation Testing
Mutation testing is a powerful technique for assessing and improving tes...
research
∙
01/27/2022
Mutation Analysis: Answering the Fuzzing Challenge
Fuzzing is one of the fastest growing fields in software testing. The id...
research
∙
03/11/2021
Using Relative Lines of Code to Guide Automated Test Generation for Python
Raw lines of code (LOC) is a metric that does not, at first glance, seem...
research
∙
11/18/2019
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
We summarize and systematically categorize results from more than 20 sec...
research
∙
08/26/2019
Slither: A Static Analysis Framework For Smart Contracts
This paper describes Slither, a static analysis framework designed to pr...
research
∙
07/08/2019
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
An effective way to maximize code coverage in software tests is through ...
research
∙
11/05/2017
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation
Many methods for automated software test generation, including some that...
research
∙
10/08/2017