Conference paper

 
Fiedor, J., Vojnar, T.: Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level, In: PADTAD '12, New York, US, ACM, 2012, p. 36-46, ISBN 978-1-4503-1456-5
Publication language:english
Original title:Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Title (cs):Testování a analýza vícevláknových C/C++ programů na binární úrovni založená na vkládání šumu
Pages:36-46
Proceedings:PADTAD '12
Conference:10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012)/2012 International Symposium on Software Testing and Analysis (ISSTA 2012)
Series:Proceedings of the 10th Workshop on Parallel and Distributed Systems
Place:New York, US
Year:2012
ISBN:978-1-4503-1456-5
Publisher:Association for Computing Machinery
Keywords
Concurrency, Dynamic Analysis, Noise Injection, Testing
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Jan Fiedor and Tomáš Vojnar},
   title = {Noise-Based Testing and Analysis of Multi-threaded C/C++
	Programs on the Binary Level},
   pages = {36--46},
   booktitle = {PADTAD '12},
   series = {Proceedings of the 10th Workshop on Parallel and Distributed
	Systems},
   year = {2012},
   location = {New York, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-1456-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10068}
}