Maximiliano Cristiá

Maximiliano Cristiá

National Scientific and Technical Research Council, Argentina - CABA / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 4730586
Consejo Nacional de Investigaciones Científicas y Técnicas, Argentina
person_outline Maximiliano Cristiá's MOST POPULAR ARTICLES
1-) Implementing and applying the Stocks-Carrington framework for model-based testing M Cristiá, PR Monetti International Conference on Formal Engineering Methods, 167-185, 2009 412009
2-) {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 362013
3-) 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
4-) Automated proof of Bell–LaPadula security propertiesM Cristiá, G RossiJournal of Automated Reasoning 65 (4), 463-478, 2021272021
5-) Solving quantifier-free first-order constraints over finite sets and binary relationsM Cristiá, G RossiJournal of Automated Reasoning 64, 295-330, 2020272020