C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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