Collaborated with:
A.V.Thakur C.Rubio-González ∅ H.M.Baldwin
Talks about:
specif (3) error (3) handl (2) mine (2) knowledg (1) function (1) softwar (1) system (1) expans (1) effect (1)
Person: Daniel DeFreez
DBLP: DeFreez:Daniel
Contributed to:
Wrote 3 papers:
- ESEC-FSE-2018-DeFreez #mining #specification
- Mining error-handling specifications for systems software (DD), pp. 983–985.
- ESEC-FSE-2018-DeFreezTR #mining #specification
- Path-based function embedding and its application to error-handling specification mining (DD, AVT, CRG), pp. 423–433.
- ESEC-FSE-2019-DeFreezBRT #effectiveness
- Effective error-specification inference via domain-knowledge expansion (DD, HMB, CRG, AVT), pp. 466–476.