Journal article

KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science. 2012, vol. 2012, no. 7186, pp. 177-192. ISSN 0302-9743. Available from:
Publication language:czech
Original title:Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software
Title (en):Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software
Journal:Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE
+Type Name Title Size Last modified
iconlncs_approve.pdfcmsstcs12.pdf277 KB2011-12-22 15:45:48
^ Select all
With selected:
Java, concurrency, testing, coverage, search-based testing, saturation-based testing
Coverage metrics play a crucial role in testing.
They allow one to estimate how well a~program has been tested and/or to control
the testing process. Several concurrency-related coverage metrics have been
proposed, but most of them do not reflect concurrent behaviour accurately enough.
In this paper, we propose several new metrics that are suitable primarily for
saturation-based or search-based testing of concurrent software. Their
distinguishing feature is that they are derived from various dynamic analyses
designed for detecting synchronisation errors in concurrent software. In fact,
the way these metrics are obtained is generic, and further metrics can be
obtained in a similar way from other analyses. The underlying motivation is
that, within such analyses, behavioural aspects crucial for occurrence of
various bugs are identified, and hence it makes sense to track how well the
occurrence of such phenomena is covered by testing. Next, coverage tasks of the
proposed as well as some existing metrics are combined with an abstract
identification of the threads participating in generation of the phenomena
captured in the concerned tasks. This way, further, more precise metrics are
obtained. Finally, an empirical evaluation of the proposed metrics, which
confirms that several of them are indeed more suitable for saturation-based and
search-based testing than the previously known metrics, is
   author = {Bohuslav K{\v{r}}ena and Zden{\v{e}}k Letko and
	Tom{\'{a}}{\v{s}} Vojnar},
   title = {Coverage Metrics for Saturation-based and Search-based
	Testing of Concurrent Software},
   pages = {177--192},
   journal = {Lecture Notes in Computer Science},
   volume = {2012},
   number = {7186},
   year = {2012},
   ISSN = {0302-9743},
   language = {czech},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]