Counterexample-guided inductive repair of reactive contracts-Reference-Cited by-同舟云学术

Counterexample-guided inductive repair of reactive contracts

Published:2022-05-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Hussein Soha¹,Rayadurgam Sanjai¹,McCamant Stephen¹,Sharma Vaibhav¹,Heimdahl Mats¹

Affiliation:

1. University of Minnesota

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference43 articles.

1. [n.d.]. ContractDR GitHub Repository . Retrieved March 29, 2022 from https://github.com/sohah/ContractDR [n.d.]. ContractDR GitHub Repository. Retrieved March 29, 2022 from https://github.com/sohah/ContractDR

2. [n.d.]. jpf-symbc. Retrieved March 29, 2022 from https://github.com/SymbolicPathFinder/jpf-symbc [n.d.]. jpf-symbc. Retrieved March 29, 2022 from https://github.com/SymbolicPathFinder/jpf-symbc

3. [n. d.]. Lustre. Retrieved March 29, 2022 from http://www-verimag.imag.fr/The-Lustre-Programming-Language-and [n. d.]. Lustre. Retrieved March 29, 2022 from http://www-verimag.imag.fr/The-Lustre-Programming-Language-and

4. [n.d.]. Z3. Retrieved March 29 2022 from https://rise4fun.com/z3/tutorial [n.d.]. Z3. Retrieved March 29 2022 from https://rise4fun.com/z3/tutorial

5. Automatic Requirement Extraction from Test Cases

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

1. Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution;2023 IEEE/ACM International Conference on Automation of Software Test (AST);2023-05