Author:
Vakkalanka Sarvani,Vo Anh,Gopalakrishnan Ganesh,Kirby Robert M.
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Godefroid, P.: Model Checking for Programming Languages using Verisoft. In: POPL, pp. 174–186 (1997)
2. Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: POPL, pp. 110–121. ACM, New York (2005)
3. The Java Pathfinder, http://javapathfinder.sourceforge.net
4. Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 446–455 (2007)
5. CHESS: Find and Reproduce Heisenbugs in Concurrent Programs, http://research.microsoft.com/en-us/projects/chess/
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exposition, clarification, and expansion of MPI semantic terms and conventions;Proceedings of the 26th European MPI Users' Group Meeting on - EuroMPI '19;2019
2. Verifying MPI Applications with SimGridMC;Proceedings of the First International Workshop on Software Correctness for HPC Applications;2017-11-12
3. ParFuse: Parallel and Compositional Analysis of Message Passing Programs;Languages and Compilers for Parallel Computing;2017
4. When truth is efficient: analysing concurrency;Proceedings of the 2015 International Symposium on Software Testing and Analysis;2015-07-13
5. Detecting MPI Zero Buffer Incompatibility by SMT Encoding;Lecture Notes in Computer Science;2015