A PropEr integration of types and function specifications with property-based testing.

Manolis Papadakis Konstantinos Sagonas

Published in: Erlang Workshop (2011)

Keyphrases

machine learning
artificial intelligence
case study
software testing
neural network
real world
information retrieval
search engine
database systems
bayesian networks
search algorithm
multi agent systems
object oriented
test set
information integration
control flow