Buscar

Estamos realizando la búsqueda. Por favor, espere...

 Detalle_Publicacion

Discovering and validating concurrency specification from test executions

 Congreso: Proceedings of the 23rd International Conference on Software Analysis, Evolution, and Reengineering: SANER, held 14-18 March 2016, in Suita, Osaka, Japón

Editorial: The Institute of Electrical and Electronics Engineers

 Año de publicación: 2016

Nº de páginas: 4

Páginas: 5 a 8

Tipo de publicación: Comunicación a Congreso

ISBN: 978-1-5090-1855-0

Proyecto español: TEC2011-28666-C04-02 ; TEC2014- 58036-C4-3-R ; BES-2012-055572

Autores/as

PABLO GONZALEZ DE ALEDO MARUGAN

ALVARO DIAZ SUAREZ