![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
PADTAD 2008: Seattle, WA, USA
- Shmuel Ur:
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008. ACM 2008, ISBN 978-1-60558-052-4 - Cyril Briquet, Pierre-Arnoul de Marneffe:
Reproducible testing of distributed software with middleware virtualization and simulation. 1 - Basile Schaeli, Roger D. Hersch:
Dynamic testing of flow graph based parallel applications. 2 - Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. 3 - Filippo Gioachin, Laxmikant V. Kalé:
Memory tagging in Charm++. 4 - Vijay Nagarajan, Rajiv Gupta:
Support for symmetric shadow memory in multiprocessors. 5 - Ali Jannesari, Walter F. Tichy:
On-the-fly race detection in multi-threaded programs. 6 - Zdenek Letko, Tomás Vojnar
, Bohuslav Krena:
AtomRace: data race and atomicity violation detector and healer. 7 - Jun Chen, Steve MacDonald:
Towards a better collaboration of static and dynamic analyses for testing concurrent programs. 8 - Ramesh Peri:
Software development tools for multi-core/parallel programming. 9 - Madan Musuvathi:
Systematic concurrency testing using CHESS. 10 - Eitan Farchi:
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. 11
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.