Quickstrom: Property Based Acceptance Testing with LTL Specifications.

Liam O'Connor Oskar Wickström

Published in: CoRR (2022)

Keyphrases

bounded model checking
formal verification
model checking
transition systems
model checker
linear temporal logic
search engine
high level
test cases
statistical tests
neural network
artificial intelligence
search space
test set
desirable properties
reactive systems