About: Analysis and Testing of Concurrent Programs

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

About: Analysis and Testing of Concurrent Programs 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 monograph is based on the dissertation thesis of Zdeněk Letko, supervised by Tomáš Vojnar and co-supervised by Bohuslav Křena.The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is p This monograph is based on the dissertation thesis of Zdeněk Letko, supervised by Tomáš Vojnar and co-supervised by Bohuslav Křena.The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is p (en)
Title	Analysis and Testing of Concurrent Programs Analysis and Testing of Concurrent Programs (en)
skos:prefLabel	Analysis and Testing of Concurrent Programs Analysis and Testing of Concurrent Programs (en)
skos:notation	RIV/00216305:26230/12:PU101905!RIV13-GA0-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP103/10/0306), P(GD102/09/H042), P(OC10009), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	B - Odborná kniha
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	122070
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/12:PU101905
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	software testing, concurrency errors, dynamic analysis,verification, coverage metrics, noise injection, metaheuristics, genetic algorithms (en)
http://linked.open.../riv/klicoveSlovo	software testing concurrency errors coverage metrics metaheuristics noise injection genetic algorithms verification dynamic analysis
http://linked.open...ontrolniKodProRIV	[43C3537EA72A]
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...vEdiceCisloSvazku	FIT Monograph
http://linked.open...i/riv/nazevZdroje	Analysis and Testing of Concurrent Programs
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...v/pocetStranKnihy	136 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Křena, Bohuslav Letko, Zdeněk Vojnar, Tomáš
number of pages	136 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoké učení technické v Brně. Fakulta informačních technologií
https://schema.org/isbn	978-80-214-4464-5
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Analysis and Testing of Concurrent Programs

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software