Synthesizing contracts correct modulo a test generator.

Astorga, Angello.

Saha, Shambwaditya.

Dinkins, Ahmad.

Wang, Felicia.

Madhusudan, P.

Xie, Tao.

2021

open in viewer
Description
  • Keywords: Data-Driven Inference, Software Testing, Specification Mining, Synthesis.

    Topic: Theory of computation / Semantics and reasoning / Program reasoning / Program specifications

    Topic: Software and its engineering / Software organization and properties / Software functional properties / Formal methods / Dynamic analysis

    Topic: Computing methodologies / Machine ... read more
This object is in collection Permanent URL Citation
  • Angello Astorga, et. al. "Synthesizing contracts correct modulo a test generator." Proceedings of the ACM on Programming Languages, ACM PUB27, New York, NY, USA, 5, OOPSLA, 2021
ID:
g732dr23g
To Cite:
TARC Citation Guide    EndNote
Usage:
Detailed Rights
Rights Note:
This work is licensed under a Creative Commons Attribution International 4.0 License.
DOI:
10.1145/3485481