Debugging P4 programs with vera.

Radu Stoenescu Dragos Dumitrescu Matei Popovici Lorina Negreanu Costin Raiciu

Published in: SIGCOMM (2018)

Keyphrases

java programs
hardware designs
novice programmers
program slicing
data sets
computer vision
evolutionary algorithm
test cases
answer sets
model based diagnosis
programming environment
fixpoint
automatic programming
fault localization