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 × China
1 × Germany
1 × Hungary
1 × South Africa
1 × Switzerland
7 × USA
Collaborated with:
Y.Smaragdakis T.A.Nguyen N.Tillmann I.Hussain K.Li C.Reichenbach L.Fegaras C.Li R.Subramanian Y.Diao S.Park B.M.M.Hossain M.Grechanik K.Taneja C.Fu Q.Xie
Talks about:
dynam (4) symbol (3) test (3) data (3) bug (3) interfac (2) program (2) generat (2) static (2) invari (2)

♂ Person: Christoph Csallner

DBLP DBLP: Csallner:Christoph

Facilitated 2 volumes:

ASE 2013ExpertReviewPa
ASE 2013PrBoard

Contributed to:

ASE 20132013
ICSE 20132013
FSE 20122012
ISSTA 20122012
ESEC/FSE 20112011
ICSE 20102010
ICSE 20082008
ASE 20072007
TAP 20072007
ICSE 20062006
ISSTA 20062006
ICSE 20052005
ASE 20152015

Wrote 13 papers:

ASE-2013-LiRSDC #data flow #generative #named #source code
SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ICSE-2013-NguyenCT #debugging #named #visual notation
GROPG: a graphical on-phone debugger (TAN, CC, NT), pp. 1189–1192.
FSE-2012-ParkHHCGTFX #named #performance
CarFast: achieving higher statement coverage faster (SP, BMMH, IH, CC, MG, KT, CF, QX), p. 35.
ISSTA-2012-LiRCS #debugging #detection #precise #predict
Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.
ESEC-FSE-2011-CsallnerFL #source code #testing
New ideas track: testing mapreduce-style programs (CC, LF, CL), pp. 504–507.
ICSE-2010-HussainC #data type
Dynamic symbolic data structure repair (IH, CC), pp. 215–218.
ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation
DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ASE-2007-SmaragdakisCS #automation #diagrams #generative #modelling #scalability #testing
Scalable automatic test data generation from modeling diagrams (YS, CC, RS), pp. 4–13.
TAP-2007-SmaragdakisC #debugging #detection #reasoning
Combining Static and Dynamic Reasoning for Bug Detection (YS, CC), pp. 1–16.
ICSE-2006-CsallnerS #interface #invariant
Dynamically discovering likely interface invariants (CC, YS), pp. 861–864.
ISSTA-2006-CsallnerS #analysis #debugging #hybrid #named
DSD-Crasher: a hybrid analysis tool for bug finding (CC, YS), pp. 245–254.
ICSE-2005-CsallnerS #static analysis #testing
Check’n’crash: combining static checking and testing (CC, YS), pp. 422–431.
ASE-2015-NguyenC #mobile #reverse engineering #user interface
Reverse Engineering Mobile Application User Interfaces with REMAUI (T) (TAN, CC), pp. 248–259.
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.