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: Kicillof:Nicolas
Contributed to:
2009
2008
2007
2004Wrote 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.