Abstraction and mining of traces to explain concurrency bugs

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1572-8102
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Abstraction and mining of traces to explain concurrency bugs ; volume:49 ; number:1-2 ; day:4 ; month:1 ; year:2016 ; pages:1-32 ; date:10.2016
Formal methods in system design ; 49, Heft 1-2 (4.1.2016), 1-32, 10.2016

Creator
Tabaei Befrouei, Mitra
Contributor
Wang, Chao
Weissenbacher, Georg
SpringerLink (Online service)

DOI
10.1007/s10703-015-0240-5
URN
urn:nbn:de:1111-2016112320626
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:53 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Other Objects (12)

Effective testing for concurrency bugs

Hochschulschrift

Effective testing for concurrency bugs

Concurrency bugs in open source software: a case study

Concurrency bugs in open source software: a case study

Concurrency techniques and hardware abstraction layer concepts for embedded systems in Rust

Concurrency techniques and hardware abstraction layer concepts for embedded systems in Rust

BUGS

Graffiti | Streetart

BUGS

Bugs, Willy

Personenakten

Bugs, Willy

BuGS | "BUGS BAP SCOUt RASt" "CSB | 2002"

Graffiti | Streetart

BuGS | "BUGS BAP SCOUt RASt" "CSB | 2002"

Bad Bugs Bite

Dokument

Bad Bugs Bite

Concurrency 88 : proceedings

Konferenzschrift | Kongress

Concurrency 88 : proceedings

Abstraction.

Abschnitt

Abstraction.

CPython bugs & risky features

zweidimensionales bewegtes Bild

CPython bugs & risky features

MATTEL - Hasenstimme "BUGS BUNNY"

Hörfunksendung | Werbesendung

MATTEL - Hasenstimme "BUGS BUNNY"

Bugs, Willy Richard Otto

Personenakten

Bugs, Willy Richard Otto

Related objects