Model‐based quality assurance of protocol documentation: tools and methodology W Grieskamp, N Kicillof, K Stobie, V Braberman Software Testing, Verification and Reliability 21 (1), 55-71, 2011 | 168 | 2011 |
Estilos y Patrones en la Estrategia de Arquitectura de Microsoft C Reynoso, N Kicillof | 95 | 2004 |
Visual timed event scenarios A Alfonso, V Braberman, N Kicillof, A Olivero Proceedings. 26th International Conference on Software Engineering, 168-177, 2004 | 80 | 2004 |
A scenario-matching approach to the description and model checking of real-time properties V Braberman, N Kicillof, A Olivero IEEE Transactions on software Engineering 31 (12), 1028-1041, 2005 | 53 | 2005 |
Model-based quality assurance of Windows protocol documentation W Grieskamp, N Kicillof, D MacDonald, A Nandan, K Stobie, F Wurden 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 48 | 2008 |
Achieving both model and code coverage with automated gray-box testing N Kicillof, W Grieskamp, N Tillmann, V Braberman Proceedings of the 3rd International Workshop on Advances in Model-based …, 2007 | 48 | 2007 |
Interaction coverage meets path coverage by SMT constraint solving W Grieskamp, X Qu, X Wei, N Kicillof, MB Cohen International Workshop on Formal Approaches to Software Testing, 97-112, 2009 | 39 | 2009 |
Action machines: a framework for encoding and composing partial behaviors W Grieskamp, N Kicillof, N Tillmann International Journal of Software Engineering and Knowledge Engineering 16 …, 2006 | 31 | 2006 |
On the need for SetPoints R Altman, A Cyment, N Kicillof EIWAS, 2005 | 23 | 2005 |
Assuring the model evolution of protocol software specifications by regression testing process improvement B Jiang, TH Tse, W Grieskamp, N Kicillof, Y Cao, X Li, WK Chan Software: Practice and Experience 41 (10), 1073-1103, 2011 | 22 | 2011 |
Regression testing process improvement for specification evolution of real-world protocol software B Jiang, TH Tse, W Grieskamp, N Kicillof, Y Cao, X Li 2010 10th International Conference on Quality Software, 62-71, 2010 | 20 | 2010 |
Symbolic program model compositions CL Campbell, M Veanes, N Kicillof, N Tillmann, W Grieskamp, W Schulte US Patent 7,926,025, 2011 | 18 | 2011 |
A schema language for coordinating construction and composition of partial behavior descriptions W Grieskamp, N Kicillof Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 14 | 2006 |
Speeding up model checking of timed-models by combining scenario specialization and live component analysis V Braberman, D Garbervestky, N Kicillof, D Monteverde, A Olivero International Conference on Formal Modeling and Analysis of Timed Systems, 58-72, 2009 | 13 | 2009 |
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. A Cyment, N Kicillof, R Altman, F Asteasuain RAM-SE 6, 9-21, 2006 | 10 | 2006 |
Vintime: Combining high-level finesse with low-level muscle to verify real-time systems A Alfonso, V Braberman, D Garbervetsky, N Kicillof, A Olivero, ... First International Conference on Principles of Software Engineering, PRISE, 2004 | 9 | 2004 |
A schema language for coordinating construction and composition of partial behaviors W Grieskamp, N Kicillof Proceedings of the 28th International Conference on Software Engineering …, 2006 | 7 | 2006 |
Enhancing model-based AOP with behavior representation A Cyment, N Kicillof, F Asteasuain Second Workshop on Models and Aspects–ECOOP 2006, 2006 | 6 | 2006 |
Simulation of interactions between network endpoints CG Kaler, N Sun, Y Cao, M Jin, N Kicillof, SF Mera, A Arkharov US Patent 9,432,278, 2016 | 5 | 2016 |
Detecting and solving architectural problems with JACAL N Kicillof, D Yankelevich Proceedings of the 1st Australian Workshop on Constructing Software …, 1998 | 3 | 1998 |