Travelled to:1 × Italy
Collaborated with:K.Sen I.Beschastnikh ∅ D.Park R.Bavishi R.Fox I.Stoica R.Padhye L.Simon Hayawardh Vijayakumar D.Babic S.Bucur Y.Chen F.Ivancic T.King M.Kusano L.Szekeres W.Wang
Talks about:fuzz (5) specif (3) program (2) generat (2) mine (2) ltl (2) waypoint (1) synthesi (1) strategi (1) properti (1)
Person: Caroline Lemieux
DBLP: Lemieux:Caroline
Contributed to:
2015
20152018
2019
2019Wrote 7 papers:
- ICSE-v2-2015-Lemieux #invariant #mining
- Mining Temporal Properties of Data Invariants (CL), pp. 751–753.
- ASE-2015-LemieuxB #behaviour #ltl #mining #specification #using
- Investigating Program Behavior Using the Texada LTL Specifications Miner (CL, IB), pp. 870–875.
- ASE-2015-LemieuxPB #ltl #mining #specification
- General LTL Specification Mining (T) (CL, DP, IB), pp. 81–92.
- ASE-2018-LemieuxS #named #testing
- FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage (CL, KS), pp. 475–485.
- ESEC-FSE-2019-BabicBCIKKLSW #generative #named #scalability
- FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.
- OOPSLA-2019-BavishiLFSS #generative #named #synthesis
- AutoPandas: neural-backed generators for program synthesis (RB, CL, RF, KS, IS), p. 27.
- OOPSLA-2019-PadhyeLSSV #fuzzing #named
- FuzzFactory: domain-specific fuzzing with waypoints (RP, CL, KS, LS, HV), p. 29.