Full abstraction for fair testing in CCS

Tom Hirschowitz

Published in: CoRR (2013)

Keyphrases

high level
test cases
data sets
databases
information systems
multimedia
three dimensional
lower bound
low level
test generation
data abstraction