Author:
Sevitsky G.,de Pauw W.,Konuru R.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Shape-analysis driven memory graph visualization;Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension;2022-05-16
2. Complexity vulnerability analysis using symbolic execution;Software Testing, Verification and Reliability;2020-02-06
3. Badger: complexity analysis with fuzzing and symbolic execution;Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis;2018-07-12
4. Symbolic Complexity Analysis Using Context-Preserving Histories;2017 IEEE International Conference on Software Testing, Verification and Validation (ICST);2017-03
5. Fault Localization Using Hybrid Static/Dynamic Analysis;Advances in Computers;2017