Sign in
SolAR: Automated test-suite generation for solidity smart contracts.
Stefan W. Driessen
Dario Di Nucci
Damian A. Tamburri
Willem-Jan van den Heuvel
Published in:
Sci. Comput. Program. (2024)
Keyphrases
</>
test suite
test cases
regression testing
test suite reduction
semi automated
software testing
static analysis
automated analysis
supply chain
computer aided
mutation testing
set of test cases
fully automated
data sets
generation process
smart grid
test sequences
image quality