Inferring better contracts-Reference-Cited by-同舟云学术

Inferring better contracts

Published:2011-05-21 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd International Conference on Software Engineering
language:
Short-container-title:

Author:

Wei Yi¹,Furia Carlo A.¹,Kazmin Nikolay¹,Meyer Bertrand¹

Affiliation:

1. ETH Zürich, Zürich, Switzerland

Publisher

ACM

Link

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

Reference35 articles.

1. Mining specifications

2. P. Chalin . Are practitioners writing contracts? In The RODIN Book volume 4157 of LNCS page 100 2006 . P. Chalin. Are practitioners writing contracts? In The RODIN Book volume 4157 of LNCS page 100 2006.

3. Automatic discovery of linear restraints among variables of a program

4. Dynamically discovering likely interface invariants

5. DySy

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

1. Formal Runtime Error Detection During Development in the Automotive Industry;Lecture Notes in Computer Science;2023-12-30

2. Lightweight precise automatic extraction of exception preconditions in java methods;Empirical Software Engineering;2023-12-26

3. API-Knowledge Aware Search-Based Software Testing: Where, What, and How;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Automated Synthesis of Software Contracts with KindSpec;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

5. Perfect is the enemy of test oracle;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07