About: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called <i>plug-ins</i> in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins. This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called <i>plug-ins</i> in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins. (en)
Title	A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing (en)
skos:prefLabel	A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing (en)
skos:notation	RIV/00216305:26230/09:PU86227!RIV10-MSM-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/07/0322), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	301210
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/09:PU86227
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	concurrent software, dynamic analysis, healing, Java<br> (en)
http://linked.open.../riv/klicoveSlovo	concurrent software dynamic analysis healing Java<br>
http://linked.open...ontrolniKodProRIV	[D52FBBCEE73C]
http://linked.open...v/mistoKonaniAkce	Grenoble
http://linked.open...i/riv/mistoVydani	Berlin
http://linked.open...i/riv/nazevZdroje	Runtime Verification
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	6 (xsd:int)
http://linked.open...vavai/riv/projekt	Advanced Formal Approaches in the Design and Verification of Computer-Based Systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš Ur, Shmuel Nir-Buchbinder, Yarden Tzoref, Rachel
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2009-06-25 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	14 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Springer-Verlag
https://schema.org/isbn	978-3-642-04693-3
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software