Runtime Verification

Author : Serdar Tasiran,Shaz Qadeer

Paperback

Published : Friday 11 January 2013

ISBN : 9783642356315

Price : €52.64

Description

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 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, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

You may also like ...

Runtime Verification

by Serdar Tasiran,Shaz Qadeer

Paperback

11 Jan 2013

Computer programming / software engineering

€52.64

Extended stock – Dispatch 5-7 days

New

Eco-Concepts

by Cenk Tan,ISMAIL Serdar Altac

Hardback

15 Jun 2024

Environmentalist thought and ideology

€102.96

Extended stock – Dispatch 5-7 days

New

Art and IR Theory

by Serdar S. Guner

Paperback

09 Jun 2024

Semiotics / semiology

€93.59

Extended stock – Dispatch 5-7 days

The Balkan Wars

by Ali Serdar Mete,Mihai Dragnea

Hardback

23 Jan 2024

First World War

€74.88

Extended stock – Dispatch 5-7 days

Reviews