Author:
Bucur Stefan,Ureche Vlad,Zamfir Cristian,Candea George
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. BugOut: Automated Test Generation and Bug Detection for Low-Code;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27
2. Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. Edge-Server Workload Characterization in Vehicular Computation Offloading: Semantics and Empirical Analysis;IEEE Access;2024
4. Concolic execution for RPA testing;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
5. Compiling Parallel Symbolic Execution with Continuations;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05