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

Yunho Kim (KAIST, KR) [DBLP]

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.