Generation of optimal finite test suites for timed systems

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. Generation of optimal finite test suites for timed systems. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 149-158, IEEE Computer Society, 2007. [doi]

Authors

Mercedes G. Merayo

This author has not been identified. Look up 'Mercedes G. Merayo' in Google

Manuel Núñez

This author has not been identified. Look up 'Manuel Núñez' in Google

Ismael Rodríguez

This author has not been identified. Look up 'Ismael Rodríguez' in Google