Search results for "Nicolas Kicillof"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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. Exper.	2011	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman	Model-based quality assurance of protocol documentation: tools and methodology.	Softw. Test., Verif. Reliab.	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen	Interaction Coverage Meets Path Coverage by SMT Constraint Solving.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden	Model-Based Quality Assurance of Windows Protocol Documentation.	ICST	2008	DBLP DOI BibTeX RDF	Spec Explorer, Test-driven, Protocols, Model-based testing, Quality Assurance
1	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	DBLP DOI BibTeX RDF	Protocols, Model-Based Testing, Specification Testing
1	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	parameterized unit testing, model-based testing, symbolic execution, test-case generation, concolic execution
1	Wolfgang Grieskamp, Nicolas Kicillof	6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann	Action Machines: a Framework for Encoding and Composing Partial Behaviors.	International Journal of Software Engineering and Knowledge Engineering	2006	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	LAPSUS, OBSSLICE, timed model checking, verification, timed automata, Eclipse, Eclipse plug-in, ZEUS, VTS
1	Wolfgang Grieskamp, Nicolas Kicillof	A schema language for coordinating construction and composition of partial behavior descriptions.	SCESM	2006	DBLP DOI BibTeX RDF	partial behaviors, model-based testing, model composition
1	Alan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain	Improving AOP Systems' Evolvability by Decoupling Advices from Base Code.	RAM-SE	2006	DBLP BibTeX RDF
1	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.	2005	DBLP DOI BibTeX RDF	scenario-based verification, model checking, formal methods, Requirements/specifications
1	A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	Visual Timed Event Scenarios.	ICSE	2004	DBLP DOI BibTeX RDF

Publications of "Nicolas Kicillof" ( http://dblp.L3S.de/Authors/Nicolas_Kicillof )