2013

An open source prototype of Distributed Dynamic Fault Localization

2013-10-31

D2FL

Ed Clarke’s talk about Model Checking in Suzhou

2013-10-24

Talk

A NPC 2013 Paper has been accepted for IJPP

2013-10-07

IJPP, Paper