Improved semantics and implementation through property-based testing with QuickCheck.

Huiqing Li Simon J. Thompson

Published in: AST (2014)

Keyphrases

evolutionary algorithm
specification language
databases
website
image sequences
logic programming
efficient implementation
desirable properties
model based testing
data model
domain knowledge
test data
modal logic
improved algorithm
formal semantics
implementation details