849 citations · 883 across the 11 of their papers we have counts for
12 papers
Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, Alex Groce +1
Mutation testing is a powerful technique for assessing and improving test suite quality that artificially introduces bugs and checks whether the test suites catch them. However, it…
Mutation Analysis: Answering the Fuzzing Challenge
Rahul Gopinath, Philipp Görz, Alex Groce
Fuzzing is one of the fastest growing fields in software testing. The idea behind fuzzing is to check the behavior of software against a large number of randomly generated inputs,…
Using Relative Lines of Code to Guide Automated Test Generation for Python
Josie Holmes, Iftekhar Ahmed, Caius Brindescu +3
Raw lines of code (LOC) is a metric that does not, at first glance, seem extremely useful for automated test generation. It is both highly language-dependent and not extremely mean…
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
Alex Groce, Josselin Feist, Gustavo Grieco +1
An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a sum…
Slither: A Static Analysis Framework For Smart Contracts
Josselin Feist, Gustavo Grieco, Alex Groce
This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into…
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark Mossberg, Felipe Manzano, Eric Hennenfent +5
An effective way to maximize code coverage in software tests is through dynamic symbolic executiona technique that uses constraint solving to systematically explore a program's…