On the construction of soundness oracles.

Jens Dietrich Li Sui Shawn Rasheed Amjed Tahir

Published in: SOAP@PLDI (2017)

Keyphrases

test cases
database systems
email
query processing
special case
mobile robot
construction process