Finding and understanding bugs in C compilers.

Xuejun Yang Yang Chen Eric Eide John Regehr

Published in: PLDI (2011)

Keyphrases

software systems
programming language
deeper understanding
general purpose
search algorithm
hardware and software
subject matter
databases
multi agent
case study
low cost
open source
source code
computer systems
social networks
neural network
real time