Journal article

LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia. Bratislava: Vydavateľstvo STU, 2013, vol. 5, no. 3, pp. 1-8. ISSN 1338-1237. Available from: http://acmbulletin.fiit.stuba.sk/vol5num3.html
Publication language:english
Original title:Analysis and Testing of Concurrent Programs
Title (cs):Analýza a testování vícevláknových programů
Pages:1-8
Place:SK
Year:2013
URL:http://acmbulletin.fiit.stuba.sk/vol5num3.html
Journal:Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 5, No. 3, Bratislava, SK
ISSN:1338-1237
Files: 
+Type Name Title Size Last modified
iconletko_published.pdf231 KB2013-12-02 15:48:30
^ Select all
With selected:
Keywords
concurrency, testing, noise injection, optimization algorithms
Annotation
In this paper, a methodology for deriving concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined is introduced. Next, our experiences with testing multi-threaded programs using a noise injection
technique are discussed showing that there is no silver bullet among the noise injection techniques. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their
application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
BibTeX:
@ARTICLE{
   author = {Zden{\v{e}}k Letko},
   title = {Analysis and Testing of Concurrent Programs},
   pages = {1--8},
   journal = {Information Sciences and Technologies Bulletin of the ACM
	Slovakia},
   volume = {5},
   number = {3},
   year = {2013},
   ISSN = {1338-1237},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=10494}
}

Your IPv4 address: 54.91.38.173
Switch to IPv6 connection

DNSSEC [dnssec]