Finding Software Errors before They Find You
An AC21 workshop, colocated with
ICTAC 2018,
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.
Talks
Towards Conditional Probabilistic Software Analysis
Matthew B. Dwyer (University of Virginia, US)
[DBLP]
and Antonio Filieri (Imperial College, UK)
[DBLP]
Directed Compositional Concolic Testing with Function Summary Refinement for Crashing Input Generation
Confidentiality-by-Construction
Ina Schaefer (Technische Universität Braunschweig, DE) [DBLP]
Veritesting with SPF
Michael W. Whalen (Amazon, previously University of Minnesota, US) [DBLP]
Concolic vs Concolic
Jaco Geldenhuys (Stellenbosch University, ZA) [DBLP]
Fuzzing and Symbolic Execution
Willem Visser (Stellenbosch University, ZA) [DBLP]
Smart Contract Analysis
Alex Leid (Stellenbosch University, ZA)
Experiments with Green
Jan Taljaard (Stellenbosch University, ZA)
Program
See in the ICTAC conference program.
If you wish to attend, please notify Willem Visser.
Organizer
Willem Visser (Stellenbosch University, ZA)
Sponsor
We acknowledge the generous financial support from the AC21 Steering Committee that is making this workshop possible.