Author:
Boyer Robert S.,Elspas Bernard,Levitt Karl N.
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hevm, a Fast Symbolic Execution Framework for EVM Bytecode;Lecture Notes in Computer Science;2024
2. An Ethological Analysis of Developmental Behavior in Machines;2023 IEEE International Conference on Development and Learning (ICDL);2023-11-09
3. Dynamic TopHat: Start and Stop Tasks at Runtime;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
4. Simulation-Driven Automated End-to-End Test and Oracle Inference;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05
5. Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution;2023 IEEE/ACM International Conference on Automation of Software Test (AST);2023-05