Nicolas Kicillof

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