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

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 stati...

Full description

Saved in:
Bibliographic Details
Corporate Authors: RV (Conference) Rennes, France), SpringerLink (Online service)
Other Authors: Legay, Axel (Editor), Bensalem, Saddek (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Heidelberg : Springer, 2013.
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 8174.
Physical Description:
1 online resource (xvii, 426 pages).
Subjects:
Computer software -- Verification -- Congresses.
Formal methods (Computer science) -- Congresses.
Computer software -- Testing -- Congresses.
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items