Nicolas Kicillof

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan
Assuring the model evolution of protocol software specifications by regression testing process improvement. Softw. Pract. Exp. 41 (10) (2011)
Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman
Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21 (1) (2011)
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. QSIC (2010)
Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES (2009)
Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS (2009)
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang
Model-Based Quality Assurance of the SMB2 Protocol Documentation. QSIC (2008)
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden
Model-Based Quality Assurance of Windows Protocol Documentation. ICST (2008)
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
Achieving both model and code coverage with automated gray-box testing. A-MOST (2007)
Wolfgang Grieskamp, Nicolas Kicillof
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion (2007)
Wolfgang Grieskamp, Nicolas Kicillof
A schema language for coordinating construction and composition of partial behavior descriptions. SCESM (2006)
Alan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. RAM-SE (2006)
Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. 16 (5) (2006)
Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Fernando Schapachnik, Alfredo Olivero
A toolsuite for the verification of real-time systems in Eclipse. ETX (2006)
Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Trans. Software Eng. 31 (12) (2005)
Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
Visual Timed Event Scenarios. ICSE (2004)