BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Chen Y.Feng I.Dillig K.Ferles O.Bastani
Talks about:
singular (1) reinforc (1) pattern (1) complex (1) worst (1) verif (1) relat (1) learn (1) fuzz (1) case (1)

Person: Jiayi Wei

DBLP DBLP: Wei:Jiayi

Contributed to:

ESEC/FSE 20182018
OOPSLA 20192019

Wrote 2 papers:

ESEC-FSE-2018-WeiCFFD #complexity #fuzzing #named
Singularity: pattern fuzzing for worst case complexity (JW, JC, YF, KF, ID), pp. 213–223.
OOPSLA-2019-ChenWFBD #learning #relational #using #verification
Relational verification using reinforcement learning (JC, JW, YF, OB, ID), p. 30.

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.