Andy Restrepo

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Architectural Design

Complex Systems

Model Validation

Top Venues

Inf. Softw. Technol.

Publications

Andy Restrepo, W. Eric Wong
Validation of SDL-based architectural design models using communication-based coverage criteria. Inf. Softw. Technol. 54 (12) (2012)
Andy Restrepo, W. Eric Wong
Validation of SDL-Based Architectural Design Models: New Coverage Criteria. SSIRI (2011)
W. Eric Wong, Andy Restrepo, Byoungju Choi
Validation of SDL specifications using EFSM-based test generation. Inf. Softw. Technol. 51 (11) (2009)
W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi
An EFSM-based Test Generation for Validation of SDL Specifications. AST (2008)