Author:
Dwyer Matthew B.,Elbaum Sebastian,Person Suzette,Purandare Rahul
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pipelining bottom-up data flow analysis;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
2. Scalable Parallel Model Checking via Monte-Carlo Tree Search;ACM SIGSOFT Software Engineering Notes;2018-01-11
3. Optimizing parallel Korat using invalid ranges;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13
4. Fast error detection with hybrid analyses of future accesses;Proceedings of the 31st Annual ACM Symposium on Applied Computing;2016-04-04
5. Distributed Assertion Checking Using Symbolic Execution;ACM SIGSOFT Software Engineering Notes;2015-11-11