20 citations · 50 across the 12 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020★ 1 cited
Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions
Gidon Ernst
Cuvée is a program verification tool that reads SMT-LIB-like input files where terms may additionally contain weakest precondition operators over abstract programs. Cuvée translate…
cs.LO2020★ 1 cited
A Complete Approach to Loop Verification with Invariants and Summaries
Gidon Ernst
Invariants are the predominant approach to verify the correctness of loops. As an alternative, loop contracts, which make explicit the premise and conclusion of the underlying indu…
cs.SE2020★ 20 cited
Legion: Best-First Concolic Testing
Dongge Liu, Gidon Ernst, Toby Murray +1
Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address this research problem,…