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 × Norway
1 × The Netherlands
2 × United Kingdom
Collaborated with:
W.Grieskamp V.A.Braberman N.Tillmann A.Alfonso A.Olivero X.Qu X.Wei M.B.Cohen D.MacDonald A.Nandan K.Stobie F.L.Wurden
Talks about:
coverag (3) model (2) constraint (1) scenario (1) protocol (1) interact (1) document (1) qualiti (1) window (1) visual (1)

Person: Nicolas Kicillof

DBLP DBLP: Kicillof:Nicolas

Contributed to:

TestCom/FATES 20092009
ICST 20082008
A-MOST 20072007
ICSE 20042004

Wrote 4 papers:

TestCom-FATES-2009-GrieskampQWKC #constraints #interactive #smt #theorem proving
Interaction Coverage Meets Path Coverage by SMT Constraint Solving (WG, XQ, XW, NK, MBC), pp. 97–112.
ICST-2008-GrieskampKMNSW #assurance #documentation #modelling #protocol #quality
Model-Based Quality Assurance of Windows Protocol Documentation (WG, NK, DM, AN, KS, FLW), pp. 502–506.
A-MOST-2007-KicillofGTB #automation #test coverage #testing
Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
ICSE-2004-AlfonsoBKO #visual notation
Visual Timed Event Scenarios (AA, VAB, NK, AO), pp. 168–177.

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.