Maximiliano Cristiá
Maximiliano Cristiá
Universidad Nacional de Rosario
Zweryfikowany adres z cifasis-conicet.gov.ar - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Implementing and applying the Stocks-Carrington framework for model-based testing
M Cristiá, PR Monetti
International Conference on Formal Engineering Methods, 167-185, 2009
402009
Tool support for the test template framework
M Cristiá, P Albertengo, C Frydman, B Plüss, PR Monetti
Software Testing, Verification and Reliability 24 (1), 3-37, 2014
292014
{log} as a Test Case Generator for the Test Template Framework
M Cristiá, G Rossi, C Frydman
International Conference on Software Engineering and Formal Methods, 229-243, 2013
292013
A language for test case refinement in the Test Template Framework
M Cristiá, D Hollmann, P Albertengo, C Frydman, PR Monetti
International Conference on Formal Engineering Methods, 601-616, 2011
202011
Pruning testing trees in the Test Template Framework by detecting mathematical contradictions
M Cristiá, P Albertengo, PR Monetti
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
202010
First Approximation to DHD Design and Implementation
A Sartorio, M Cristiá
Clei electronic journal 12 (1), 2009
202009
A decision procedure for restricted intensional sets
M Cristiá, G Rossi
International Conference on Automated Deduction, 185-201, 2017
192017
A TLA+ encoding of DEVS models
M Cristiá
Proceedings of the International Modeling and Simulation Multiconference, 17-22, 2007
192007
A decision procedure for sets, binary relations and partial functions
M Cristiá, G Rossi
International Conference on Computer Aided Verification, 179-198, 2016
162016
Introducción a la Ingenierıa de Requerimientos
M Cristiá
162011
Runtime enforcement of noninterference by duplicating processes and their memories
M Cristiá, P Mata
Workshop de Seguridad Informática WSEGI 2009, 2009
152009
On comparing and complementing two MBT approaches
M Cristiá, V Santiago, NL Vijaykumar
2010 11th Latin American Test Workshop, 1-6, 2010
142010
Generating natural language descriptions of Z test cases
M Cristiá, B Plüss
142010
Solving quantifier-free first-order constraints over finite sets and binary relations
M Cristiá, G Rossi
Journal of Automated Reasoning 64 (2), 295-330, 2020
132020
Applying SMT solvers to the test template framework
M Cristiá, C Frydman
arXiv preprint arXiv:1202.6120, 2012
132012
Formal verification of an extension of a secure, compatible UNIX file system
M Cristiá
Master's thesis, Instituto de Computación, Universidad de la República, Uruguay, 2002
132002
CML-DEVS: A specification language for DEVS conceptual models
DA Hollmann, M Cristiá, C Frydman
Simulation Modelling Practice and Theory 57, 100-117, 2015
122015
{log}(2008)
G Rossi
URL: http://people. dmi. unipr. it/gianfranco. rossi/setlog. Home. html, 2013
122013
Introducción al testing de software
M Cristiá
Recuperado el 14, 2009
112009
Primera aproximación al diseño e implementación de los DHD
A Sartorio, M Cristiá
XXXIV Congreso Latinoamericano de Informática, 2008
112008
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20