21 citations · 21 across the 2 of their papers we have counts for
3 papers
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,…
cs.SE2012
Black-Box Verification for GUI Applications
Stephan Arlt, Evren Ermis, Sergio Feo-Arenis +1
In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used…
cs.PL2006★ 21 cited
On Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies, Viktor Kuncak, Karen Zee +2
One of the main challenges in the verification of software systems is the analysis of unbounded data structures with dynamic memory allocation, such as linked data structures and a…