Collaborated with:M.Pradel
Talks about:bug (2) document (1) detector (1) thread (1) static (1) studi (1) learn (1) infer (1) graph (1) class (1)
Person: Andrew Habib
DBLP: Habib:Andrew
Contributed to:
2018Wrote 2 papers:
- ASE-2018-HabibP #documentation #graph #learning #thread #using
- Is this class thread-safe? inferring documentation using graph-based learning (AH, MP), pp. 41–52.
- ASE-2018-HabibP18a #case study #debugging #detection #how
- How many of all bugs do we find? a study of static bug detectors (AH, MP), pp. 317–328.