Predicate generation for learning-based quantifier-free loop invariant inference

13Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We address the predicate generation problem in the context of loop invariant inference. Motivated by the interpolation-based abstraction refinement technique, we apply the interpolation theorem to synthesize predicates implicitly implied by program texts. Our technique is able to improve the effectiveness and efficiency of the learning-based loop invariant inference algorithm in [14]. Experiments excerpted from Linux, SPEC2000, and Tar source codes are reported. © 2011 Springer-Verlag.

References Powered by Scopus

Learning regular sets from queries and counterexamples

1623Citations
N/AReaders
Get full text

Lazy abstraction with interpolants

333Citations
N/AReaders
Get full text

Abstractions from proofs

329Citations
N/AReaders
Get full text

Cited by Powered by Scopus

Active automata learning in practice: An annotated bibliography of the years 2011 to 2016

44Citations
N/AReaders
Get full text

Generating non-linear interpolants by semidefinite programming

23Citations
N/AReaders
Get full text

Termination analysis with algorithmic learning

22Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Jung, Y., Lee, W., Wang, B. Y., & Yi, K. (2011). Predicate generation for learning-based quantifier-free loop invariant inference. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6605 LNCS, pp. 205–219). https://doi.org/10.1007/978-3-642-19835-9_17

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 7

88%

Professor / Associate Prof. 1

13%

Readers' Discipline

Tooltip

Computer Science 9

100%

Save time finding and organizing research with Mendeley

Sign up for free