Search

Searching. Please wait…

Detalle_Publicacion

Discovering and validating concurrency specification from test executions

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

 Publisher: The Institute of Electrical and Electronics Engineers

 Year of publication: 2016

 No. of pages: 4

 Pages: 5 a 8

 Publication type: Conference object

 ISBN: 978-1-5090-1855-0

 Spanish project: TEC2011-28666-C04-02

Authorship

PABLO GONZALEZ DE ALEDO MARUGAN

ALVARO DIAZ SUAREZ