Andy Restrepo

According to our database1, Andy Restrepo authored at least 4 papers between 2008 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Validation of SDL-based architectural design models using communication-based coverage criteria.
Inf. Softw. Technol., 2012

2011
Validation of SDL-Based Architectural Design Models: New Coverage Criteria.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2009
Validation of SDL specifications using EFSM-based test generation.
Inf. Softw. Technol., 2009

2008
An EFSM-based Test Generation for Validation of SDL Specifications.
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008


  Loading...