Author:
Boyapati Chandrasekhar,Khurshid Sarfraz,Marinov Darko
Cited by
176 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Precise Lazy Initialization for Programs with Complex Heap Inputs;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
2. Specification-based Test Case Generation for C++ Engineering Software;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01
3. An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Learning Deep Semantics for Test Completion;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023