Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation

von Ish-Shalom, Oren
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction

von Ish-Shalom, Oren
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Run-time Complexity Bounds Using Squeezers

von Ish-Shalom, Oren
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)