Login / Signup
A DSL Approach to Reconcile Equivalent Divergent Program Executions.
Luís Pina
Daniel Grumberg
Anastasios Andronidis
Cristian Cadar
Published in:
USENIX Annual Technical Conference (2017)
Keyphrases
</>
data sets
artificial intelligence
information systems
computer programs
database
neural network
information retrieval
genetic algorithm
relational databases
open source
medical images
program execution