An active learning approach to synthesizing program contracts

DOI10.1007/978-3-031-47115-5_8MaRDI QIDQ6550595

Philipp Rümmer, Sandip Ghosal, Bengt Jonsson

Publication date: 5 June 2024

Mathematics Subject Classification ID

Computational learning theory (68Q32) Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Active learning for extended finite state machines
• Learning regular sets from queries and counterexamples
• The Daikon system for dynamic detection of likely invariants
• Symbolic execution and program testing
• Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework
• A constructive approach to the problem of program correctness

This page was built for publication: An active learning approach to synthesizing program contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6550595)