Author:
Backes John,Person Suzette,Rungta Neha,Tkachuk Oksana
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Backes, J., Person, S., Rungta, N., Tkachuk, O.: Regression verification using impact summaries (2013), Extended version available online
http://ti.arc.nasa.gov/profile/nrungta/pubs/
2. Beyer, D., Cimatti, A., Griggio, A., Keremoglu, M., Sebastiani, R.: Software model checking via large-block encoding. In: FMCAD, pp. 25–32 (November 2009)
3. Boehme, M., Oliveira, B.C.d.S., Roychoudhury, A.: Partition-based regression verification. In: ICSE (2013)
4. Cadar, C., Dunbar, D., Engler, D.R.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209–224 (2008)
5. Chockler, H., Denaro, G., Ling, M., Fedyukovich, G., Hyvrinen, A.E.J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.: Pincette – validating changes and upgrades in networked software. In: CSMR (2013)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Oracle-Guided Program Selection from Large Language Models;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. PASDA: A partition-based semantic differencing approach with best effort classification of undecided cases;Journal of Systems and Software;2024-07
3. Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. Change‐aware model checking for evolving concurrent programs based on Program Dependence Net;Journal of Software: Evolution and Process;2023-11-09
5. Quantitative Symbolic Similarity Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12