Sign in
Symbolic Execution of Concurrent Objects in CLP.
Elvira Albert
Puri Arenas
Miguel Gómez-Zamalloa
Published in:
PADL (2012)
Keyphrases
</>
symbolic execution
static analysis
data sets
genetic algorithm
quality control
constraint logic programming