New ideas track: testing mapreduce-style programs.

Christoph Csallner Leonidas Fegaras Chengkai Li

Published in: SIGSOFT FSE (2011)

Keyphrases

symbolic execution
parallel computing
distributed computing
test cases
concurrent programs
knowledge integration
computer programs
genetic algorithm
operating system
data management
case study
artificial intelligence
test suite
real time tracking
provably correct
data mining
real time