عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R8 2013
QA76
.
76
.
V47
R8
2013
کتابخانه
محل استقرار
3642407870 (electronic bk.)
9783642407871 (electronic bk.)
3642407862 (print)
9783642407864 (print)
b435153
Runtime verification :
[Book]
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
Axel Legay, Saddek Bensalem (eds.)
1 online resource (xvii, 426 pages) :
illustrations (some color)
Lecture notes in computer science,
LNCS sublibrary. SL 2, Programming and software engineering
8174
0302-9743 ;
Includes bibliographical references and index
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
OhioLINK electronic book center (Online)
SpringerLink
RV 2013
Computer software-- Testing, Congresses
Computer software-- Verification, Congresses
Formal methods (Computer science), Congresses
005
.
1/4
23
QA76
.
76
.
V47
QA76
.
76
.
V47
R8
2013
R8
2013
Bensalem, Saddek
Legay, Axel
RV (Conference)(4th :2013 :, Rennes, France)
Ohio Library and Information Network
20131202122228.0
pn
مطالعه متن کتاب [Book]
Y
