Login / Signup
On Testing Constraint Programs
Nadjib Lazaar
Arnaud Gotlieb
Yahia Lebbah
Published in:
CoRR (2010)
Keyphrases
</>
symbolic execution
concurrent programs
linear constraints
statistical tests
object oriented
automatic programming
intermediate level
case study
website
multiscale
video sequences
data sets
test data
global constraints
information systems
test generation
learning algorithm
machine learning
real world