BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × USA
2 × Canada
2 × Italy
Collaborated with:
B.Liblit D.DeFreez A.V.Thakur C.Weiß P.Godefroid S.K.Lahiri A.D.Franco H.G.0007 J.Galenson S.Chasins L.Gong H.M.Baldwin H.S.Gunawi R.H.Arpaci-Dusseau A.C.Arpaci-Dusseau
Talks about:
error (6) research (2) analysi (2) specif (2) propag (2) world (2) real (2) characterist (1) comprehens (1) increment (1)

Person: Cindy Rubio-González

DBLP DBLP: Rubio-Gonz=aacute=lez:Cindy

Contributed to:

ICSE 20152015
PLATEAU 20142014
ISSTA 20112011
SAS 20112011
PASTE 20102010
PLDI 20092009
ASE 20172017
ESEC/FSE 20182018
ESEC/FSE 20192019

Wrote 9 papers:

ICSE-v1-2015-WeissRL #fault #program analysis #scalability
Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
PLATEAU-2014-GalensonRCG #research #usability #web
Research.js: Evaluating Research Tool Usability on the Web (JG, CRG, SC, LG), pp. 53–54.
ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer
Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
PASTE-2010-Rubio-GonzalezL #documentation #fault
Expect the unexpected: error code mismatches between documentation and the real world (CRG, BL), pp. 73–80.
PLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system
Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
ASE-2017-FrancoGR #debugging
A comprehensive study of real-world numerical bug characteristics (ADF, HG0, CRG), pp. 509–519.
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.

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.