Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms. - Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza; Murilo G. Rocha; Rafael R. Prado; Raphael Negrisoli Batista (ICCS, 2013)