pdf-format: |
|
@InProceedings{finkbeiner_et_al:DSP:2008:1376, author = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, title = {07011 Abstracts Collection -- Runtime Verification}, booktitle = {Runtime Verification}, year = {2008}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, number = {07011}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1376}, annote = {Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, } }
Keywords: | Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, | |
Freie Schlagwörter (englisch): | aspect-oriented programming, test oracles, fault protection, dynamic specification learning, combining static and dynamic analysis | |
Seminar: | 07011 - Runtime Verification | |
Issue date: | 2008 | |
Date of publication: | 06.02.2008 |