Using Symbolic States to Infer Numerical Invariants

Automatically inferring invariant specifications has proven valuable in enabling a wide range of software verification and validation approaches over the past two decades. Recent approaches have shifted from using observation of concrete program states to exploiting symbolic encodings of sets of con...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering 2022-10, Vol.48 (10), p.3877-3899
Hauptverfasser:	Nguyen, ThanhVu, Nguyen, KimHao, Dwyer, Matthew B.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Benchmark testing counterexample guided refinement dynamic analysis Encoding Engines Inference Inference algorithms Invariants numerical invariants Performance analysis Polynomials Program invariants program testing and verification Program verification (computers) Security State (computer science) symbolic execution
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!