Pablo Rodríguez Monetti

According to our database1, Pablo Rodríguez Monetti authored at least 5 papers between 2009 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Tool support for the Test Template Framework.
Softw. Test. Verification Reliab., 2014

2011
Applying the Test Template Framework to Aerospace Software.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

A Language for Test Case Refinement in the Test Template Framework.
Proceedings of the Formal Methods and Software Engineering, 2011

2010
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

2009
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.
Proceedings of the Formal Methods and Software Engineering, 2009


  Loading...