aPET: a test case generation tool for concurrent objects.

Elvira Albert Puri Arenas Miguel Gómez-Zamalloa Peter Y. H. Wong

Published in: ESEC/SIGSOFT FSE (2013)

Keyphrases

test case generation
test cases
information systems
web services
cooperative
object oriented
software testing
test data generation