Author:
Bucur Stefan,Ureche Vlad,Zamfir Cristian,Candea George
Cited by
91 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Concolic execution for RPA testing;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
2. Compiling Parallel Symbolic Execution with Continuations;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Intelligent Constraint Classification for Symbolic Execution;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
4. Toward Large-Scale Test for Certifying Autonomous Driving Software in Collaborative Virtual Environment;IEEE Access;2023
5. Ranged Program Analysis via Instrumentation;Software Engineering and Formal Methods;2023