pdf-format: |
|
@InProceedings{finkbeiner_et_al:DagSemProc.07011.1, author = {Finkbeiner, Bernd and Havelund, Klaus and Rosu, Grigore and Sokolsky, Oleg}, title = {{07011 Abstracts Collection – Runtime Verification}}, booktitle = {Runtime Verification}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7011}, editor = {Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2008/1376}, URN = {urn:nbn:de:0030-drops-13764}, doi = {10.4230/DagSemProc.07011.1}, annote = {Keywords: Program monitoring, dynamic program analysis, specification languages and logics, concurrency errors, program instrumentation, aspect-oriented programming, test oracles, fault protection, dynamic specification learning, combining static and dynamic analysis} }
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 |