1. Interoperability of Gaspi and Mpi in Large Scale Scientific Applications;Akhmetova,2017
2. Mutation Operators for Concurrent Java (J2SE 5.0);Bradbury,2006
3. Distributed reachability testing of concurrent programs;Carver;Concurr. Comput.: Pract. Exper.,2010
4. Detection of Asynchronous Message Passing Errors Using Static Analysis;Christakis,2003
5. Feasible path generation of weak mutation testing based on statistical analysis;Dang;Chin. J. Comput. Sci.,2016