Andy Restrepo

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Validation of SDL-based architectural design models using communication-based coverage criteria.

Andy Restrepo, W. Eric Wong

Inf. Softw. Technol., 2012

2011

Validation of SDL-Based Architectural Design Models: New Coverage Criteria.

Andy Restrepo, W. Eric Wong

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2009

Validation of SDL specifications using EFSM-based test generation.

W. Eric Wong, Andy Restrepo, Byoungju Choi

Inf. Softw. Technol., 2009

2008

An EFSM-based Test Generation for Validation of SDL Specifications.

W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008