On Testing against Partial Non-observable Specifications.

Natalia Kushik Nina Yevtushenko Ana R. Cavalli

Published in: QUATIC (2014)

Keyphrases

data sets
test cases
formal specification
functional requirements
real time
artificial intelligence
information systems
image sequences
specification language
formal verification