2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award.

Leonid Libkin Moshe Y. Vardi

Published in: PODS (2017)

Keyphrases

invited talk
data sets
databases
test data
real time
neural network
data structure
special issue
software testing
special section
belief update