SYCO: a systematic testing tool for concurrent objects.

Elvira Albert Miguel Gómez-Zamalloa Miguel Isabel

Published in: CC (2016)

Keyphrases

expert systems
concurrent programs
d objects
information retrieval
genetic algorithm
knowledge base
case study
database systems
object recognition
object oriented
software tools
object level
mutual exclusion