|
" Runtime verification : "
Axel Legay, Saddek Bensalem (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605934
|
| Doc. No
|
:
|
b435153
|
| Main Entry
|
:
|
RV (Conference)(4th :2013 :, Rennes, France)
|
| Title & Author
|
:
|
Runtime verification : : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /\ Axel Legay, Saddek Bensalem (eds.)
|
| Series Statement
|
:
|
Lecture notes in computer science,; 8174
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (xvii, 426 pages) :: illustrations (some color)
|
| ISBN
|
:
|
3642407870 (electronic bk.)
|
|
|
:
|
: 9783642407871 (electronic bk.)
|
|
|
:
|
3642407862 (print)
|
|
|
:
|
9783642407864 (print)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Abstract
|
:
|
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
|
| Subject
|
:
|
Computer software-- Testing, Congresses
|
| Subject
|
:
|
Computer software-- Verification, Congresses
|
| Subject
|
:
|
Formal methods (Computer science), Congresses
|
| Dewey Classification
|
:
|
005.1/4
|
| LC Classification
|
:
|
QA76.76.V47R8 2013
|
|
|
:
|
QA76.76.V47R8 2013
|
| Added Entry
|
:
|
Legay, Axel
|
|
|
:
|
Bensalem, Saddek
|
| Added Entry
|
:
|
Ohio Library and Information Network
|
| Parallel Title
|
:
|
RV 2013
|
| |