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 × Croatia
1 × France
1 × Italy
1 × Korea
1 × Portugal
3 × USA
Collaborated with:
R.Majumdar R.Jhala P.Godefroid J.H.Andrews A.Groce M.Weston A.Gupta T.A.Henzinger A.Rybalchenko
Talks about:
test (5) use (3) grammar (2) generat (2) symbol (2) length (2) direct (2) structur (1) overflow (1) interpol (1)

Person: Ru-Gang Xu


Contributed to:

CAV 20092009
ASE 20082008
ISSTA 20082008
POPL 20082008
ASE 20072007
ESEC/FSE 20072007
TACAS 20072007
SAS 20062006

Wrote 8 papers:

CAV-2009-MajumdarX #testing #using
Reducing Test Inputs Using Information Partitions (RM, RGX), pp. 555–569.
ASE-2008-AndrewsGWX #effectiveness #random testing
Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.
ISSTA-2008-XuGM #abstraction #testing
Testing for buffer overflows with length abstraction (RGX, PG, RM), pp. 27–38.
POPL-2008-GuptaHMRX #proving
Proving non-termination (AG, TAH, RM, AR, RGX), pp. 147–158.
ASE-2007-MajumdarX #generative #testing #using
Directed test generation using symbolic grammars (RM, RGX), pp. 134–143.
ESEC-FSE-2007-MajumdarX #generative #testing #using
Directed test generation using symbolic grammars (RM, RGX), pp. 553–556.
TACAS-2007-JhalaMX #type inference
State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
SAS-2006-JhalaMX #invariant
Structural Invariants (RJ, RM, RGX), pp. 71–87.

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.