Computing summaries of string loops in C for better testing and refactoring-Reference-Cited by-同舟云学术

Computing summaries of string loops in C for better testing and refactoring

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Kapus Timotej¹,Ish-Shalom Oren²,Itzhaky Shachar³,Rinetzky Noam²,Cadar Cristian¹

Affiliation:

1. Imperial College London, UK

2. Tel Aviv University, Israel

3. Technion, Israel

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3314221.3314610

Reference54 articles.

1. Counterexample Guided Inductive Synthesis Modulo Theories

2. Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman. 2006. Compilers: Principles Techniques and Tools (2nd ed.). Addison Wesley. Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman. 2006. Compilers: Principles Techniques and Tools (2nd ed.). Addison Wesley.

3. The GPyOpt authors. 2016. GPyOpt: A Bayesian Optimization framework in python. http://github.com/SheffieldML/GPyOpt. The GPyOpt authors. 2016. GPyOpt: A Bayesian Optimization framework in python. http://github.com/SheffieldML/GPyOpt.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concretely Mapped Symbolic Memory Locations for Memory Error Detection;IEEE Transactions on Software Engineering;2024-07

2. SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

3. State Merging with Quantifiers in Symbolic Execution;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Anchor : Fast and Precise Value-flow Analysis for Containers via Memory Orientation;ACM Transactions on Software Engineering and Methodology;2023-04-26

5. FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07