Author:
Burnim Jacob,Jalbert Nicholas,Stergiou Christos,Sen Koushik
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Boosting Compiler Testing via Eliminating Test Programs with Long-Execution-Time;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
2. Checking equivalence in a non-strict language;Proceedings of the ACM on Programming Languages;2022-10-31
3. ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation;Lecture Notes in Computer Science;2022
4. Detecting Inconsistent Thrown Exceptions;2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC);2021-05
5. Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection;IEEE Transactions on Knowledge and Data Engineering;2021