QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs.

Stefan Karlsson Adnan Causevic Daniel Sundmark

Published in: CoRR (2019)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
software testing
web services
quality assurance
application developers
test data generation
mutation testing
source code
high quality
building blocks
lightweight
code coverage