Finding Software Errors before They Find You
An AC21 workshop, colocated with
Stellenbosch, South Africa, 15 October 2018
In this workshop we will discuss various techniques for finding errors in software programs. The emphasis is on using advanced testing techniques that can find obscure, or hard to find, errors automatically. A number of world leaders in this field have been assembled to discuss their current research.
Towards Conditional Probabilistic Software Analysis
Directed Compositional Concolic Testing with Function Summary Refinement for Crashing Input Generation
Veritesting with SPF
Concolic vs Concolic
Fuzzing and Symbolic Execution
Smart Contract Analysis
Alex Leid (Stellenbosch University, ZA)
Experiments with Green
Jan Taljaard (Stellenbosch University, ZA)
See in the ICTAC conference program.
If you wish to attend, please notify Willem Visser.
Willem Visser (Stellenbosch University, ZA)
We acknowledge the generous financial support from the AC21 Steering Committee that is making this workshop possible.