Efficient large-scale trace checking using mapreduce.

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

Published in: ICSE (2016)

Keyphrases

information systems
real life
optimal solution
learning environment
digital libraries
source code
efficient implementation