Author:
Albert Elvira,Arenas Puri,Gómez-Zamalloa Miguel,Rojas Jose Miguel
Publisher
Springer International Publishing
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Metamorphic Fuzzing of C++ Libraries;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
2. Symbolic execution formally explained;Formal Aspects of Computing;2021-08
3. Ghost Code in Action: Automated Verification of a Symbolic Interpreter;Lecture Notes in Computer Science;2020
4. On the Nature of Symbolic Execution;2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2019-09
5. Branch coverage prediction in automated testing;Journal of Software: Evolution and Process;2019-03-08