Conference paper

FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej and VOJNAR Tomáš. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, pp. 356-359. ISBN 978-1-4503-5699-2. Available from: https://dl.acm.org/citation.cfm?doid=3213846.3229505
Publication language:english
Original title:Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs
Title (cs):Pokroky v prostředí ANaConDA pro dynamickou analýzu a testování paralelních programů v C/C++
Pages:356-359
Proceedings:Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
Conference:27th ACM SIGSOFT International Symposium on Software Testing and Analysis
Place:New York, US
Year:2018
URL:https://dl.acm.org/citation.cfm?doid=3213846.3229505
ISBN:978-1-4503-5699-2
DOI:10.1145/3213846.3229505
Publisher:Association for Computing Machinery
Keywords
Dynamic analysis, testing, concurrency, noise injection, PIN
Annotation
The paper presents advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ANaConDA comes with several built-in analysers, covering detection of data races, deadlocks, or contract violations, and allows for an easy creation of new analysers. To increase the variety of tested interleavings, ANaConDA offers various noise injection techniques. The framework performs the analysis on a binary level, thus not requiring the source code of the program to be available. Apart from many academic experiments, ANaConDA has also been successfully used to discover various errors in industrial code.
BibTeX:
@INPROCEEDINGS{
   author = {Jan Fiedor and Monika Mu{\v{z}}ikovsk{\'{a}} and
	Ale{\v{s}} Smr{\v{c}}ka and Ond{\v{r}}ej
	Va{\v{s}}{\'{i}}{\v{c}}ek and Tom{\'{a}}{\v{s}}
	Vojnar},
   title = {Advances in the ANaConDA Framework for Dynamic
	Analysis and Testing of Concurrent C/C++ Programs},
   pages = {356--359},
   booktitle = {Proceedings of 27th ACM SIGSOFT International Symposium  on 
	Software Testing and Analysis},
   year = {2018},
   location = {New York, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-5699-2},
   doi = {10.1145/3213846.3229505},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11756}
}

Your IPv4 address: 54.81.220.239