62 citations · 104 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016
A Logical Approach to Generating Test Plans
Tobias Morciniec, Andreas Podelski
During the execution of a test plan, a test manager may decide to drop a test case if its result can be inferred from already executed test cases. We show that it is possible to au…
cs.LO2016
Proving Liveness of Parameterized Programs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Correctness of multi-threaded programs typically requires that they satisfy liveness properties. For example, a program may require that no thread is starved of a shared resource,…