BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lemieux:Caroline

Contributed to:

ICSE 20152015
ASE 20152015
ASE 20182018
ESEC/FSE 20192019
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.