Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /

Saved in:
Bibliographic Details
Meeting name:RV (Conference) (4th : 2013 : Rennes, France)
Imprint:Heidelberg : Springer, 2013.
Description:1 online resource (xvii, 426 pages).
Language:English
Series:LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science, 0302-9743 ; 8174
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 8174.
Subject:Computer software -- Verification -- Congresses.
Formal methods (Computer science) -- Congresses.
Computer software -- Testing -- Congresses.
Computer software -- Testing.
Computer software -- Verification.
Formal methods (Computer science)
Software -- Congresses.
Electronic books.
Conference papers and proceedings.
Electronic books.
Ebook.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11080751
Hidden Bibliographic Details
Varying Form of Title:RV 2013
Other authors / contributors:Legay, Axel, editor.
Bensalem, Saddek, editor.
ISBN:9783642407871
3642407870
3642407862
9783642407864
9783642407864
Notes:International conference proceedings.
Includes author index.
Includes author index.
Summary: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, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
Other form:Printed edition: 9783642407864
Standard no.:10.1007/978-3-642-40787-1