Program Equivalence (Dagstuhl Seminar 18151).

Shuvendu K. Lahiri Andrzej S. Murawski Ofer Strichman Mattias Ulbrich

Published in: Dagstuhl Reports (2018)

Keyphrases

test cases
static analysis
real world
programming environment
automatic programming
database
machine learning
artificial neural networks
data model
open source
program execution