Buscar

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

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

Autoría

PABLO GONZALEZ DE ALEDO MARUGAN

ALVARO DIAZ SUAREZ