Articoli correlati a Runtime Verification: 4th International Conference,...

Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174 - Brossura

 
9783642407864: Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings: 8174
Brossura
ISBN 10: 3642407862 ISBN 13: 9783642407864
Casa editrice: Springer, 2013

Sinossi

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642407862
ISBN 13 
9783642407864
Rilegatura
Copertina flessibile
Numero di pagine
426
Redattore
Legay Axel, Bensalem Saddek
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania