 | 2012 |
|---|
| 6 |       | Maximiliano Cristiá,
Claudia S. Frydman:
Applying SMT Solvers to the Test Template Framework
MBT 2012: 28-42 |
| 2011 |
|---|
| 5 | | Maximiliano Cristiá,
Diego Hollmann,
Pablo Albertengo,
Claudia S. Frydman,
Pablo Rodríguez Monetti:
A Language for Test Case Refinement in the Test Template Framework.
ICFEM 2011: 601-616 |
| 2010 |
|---|
| 4 | | Maximiliano Cristiá,
Brian Plüss:
Generating Natural Language Descriptions of Z Test Cases.
INLG 2010 |
| 3 | | Maximiliano Cristiá,
Pablo Albertengo,
Pablo Rodríguez Monetti:
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.
SEFM 2010: 268-277 |
| 2009 |
|---|
| 2 | | Maximiliano Cristiá,
Pablo Rodríguez Monetti:
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.
ICFEM 2009: 167-185 |
| 1 | | Alejandro Sartorio,
Maximiliano Cristiá:
First Approximation to DHD Design and Implementation.
CLEI Electron. J. 12(3): (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page