Efficient large-scale trace checking using mapreduce.

Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro

Browse the full ICSE paper archive.