An active learning approach to synthesizing program contracts
type: Item
instance of: scholarly article
title: An active learning approach to synthesizing program contracts
DOI: 10.1007/978-3-031-47115-5_8
author: Sandip Ghosal
author: Bengt Jonsson
author: Philipp Rümmer
publication date: 2024-06-05T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q32
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7860301
MaRDI profile type: Publication
cites work: Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework
cites work: Learning regular sets from queries and counterexamples
cites work: Active learning for extended finite state machines
cites work: A constructive approach to the problem of program correctness
cites work: The Daikon system for dynamic detection of likely invariants
cites work: Symbolic execution and program testing
description: scientific article; zbMATH DE number 7860301