Testing Linearity against Non-Signaling Strategies.

Alessandro Chiesa Peter Manohar Igor Shinkar

Published in: Computational Complexity Conference (2018)

Keyphrases

real world
information retrieval
case study
high level
database systems
test cases
software testing
test generation