Asserting and checking determinism for multithreaded programs
-
Published:2009
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09
-
language:
-
Short-container-title:
Author:
Burnim Jacob,Sen Koushik
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Input-Relational Verification of Deep Neural Networks;Proceedings of the ACM on Programming Languages;2024-06-20
2. The usage of cybernetic in complex software systems and its application to the deterministic multithreading;Concurrency and Computation: Practice and Experience;2022-10-31
3. Efficient Generation of Program Execution Hash;IEEE Access;2022
4. A Systematic Review of Search Strategies in Dynamic Symbolic Execution;Computer Standards & Interfaces;2020-10
5. A statistics-based performance testing methodology for cloud applications;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12