Christoph Csallner Leonidas Fegaras Chengkai Li New ideas track: testing mapreduce-style programs. 504-507 2011 SIGSOFT FSE http://doi.acm.org/10.1145/2025113.2025204 conf/sigsoft/2011 db/conf/sigsoft/fse2011.html#CsallnerFL11