About: Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

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

About: Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level 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 aims at allowing noise-based testing and dynamic analysis of multi-threaded C/C++ programs on the binary level. First, several problems of monitoring multi-threaded C/C++ programs on the binary level are discussed together with their possible solutions. Next, a brief overview of noise injection techniques is provided along with a proposal of improving them using a fine-grained combination of several noise injection techniques within a single program. The proposed ideas have been implemented in a prototype way using the PIN framework for Intel binaries and tested on a~set of multi-threaded C/C++ programs. The obtained experimental evidence justifying the proposed solutions and illustrating the effect of various noise settings in the context of multi-threaded C/C++ programs is discussed. This paper aims at allowing noise-based testing and dynamic analysis of multi-threaded C/C++ programs on the binary level. First, several problems of monitoring multi-threaded C/C++ programs on the binary level are discussed together with their possible solutions. Next, a brief overview of noise injection techniques is provided along with a proposal of improving them using a fine-grained combination of several noise injection techniques within a single program. The proposed ideas have been implemented in a prototype way using the PIN framework for Intel binaries and tested on a~set of multi-threaded C/C++ programs. The obtained experimental evidence justifying the proposed solutions and illustrating the effect of various noise settings in the context of multi-threaded C/C++ programs is discussed. (en)
Title	Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level (en)
skos:prefLabel	Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level (en)
skos:notation	RIV/00216305:26230/12:PU101825!RIV13-GA0-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(GAP103/10/0306), P(OC10009), S, Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Fiedor, Jan 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	154334
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/12:PU101825
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Concurrency, Dynamic Analysis, Noise Injection, Testing (en)
http://linked.open.../riv/klicoveSlovo	Testing Concurrency Dynamic Analysis Noise Injection
http://linked.open...ontrolniKodProRIV	[6A8064F4899D]
http://linked.open...v/mistoKonaniAkce	Minneapolis, MN
http://linked.open...i/riv/mistoVydani	New York
http://linked.open...i/riv/nazevZdroje	PADTAD '12
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence 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	Fiedor, Jan Vojnar, Tomáš
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2012-07-15 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
number of pages	11 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Association for Computing Machinery
https://schema.org/isbn	978-1-4503-1456-5
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

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