Faculty of Information Technology, BUT

Publication Details

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2.
Czech title
Predikce pokrytí drahých paralelních metril použitím levných metrik
Type
conference paper
Language
english
Authors
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Pluháčková Hana, Mgr. Bc. (DITS FIT BUT)
Ur Shmuel (IBM)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
parallel programs, noise-based testing, concurrency metrics, lasso algorithm, prediction
Abstract
Testing of concurrent programs is difficult since the scheduling non-determinism requires one to test a huge number of different thread interleavings. Moreover, a simple repetition of test executions will typically examine similar interleavings only. One popular way how to deal with this problem is to use the noise injection approach, which is, however, parametrized with many parameters whose suitable values are difficult to find. To find such values, one needs to run many experiments and use some metric to evaluate them. Measuring the achieved coverage can, however, slow down the experiments. To minimize this problem, we show that there are correlations between metrics of different cost and that one can find a suitable test and noise setting to maximize coverage under a costly metrics by experiments with a cheaper metrics.
Published
2018
Pages
99-108
Proceedings
Computer Aided Systems Theory - EUROCAST 2017
Series
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Conference
Sixteenth International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES
ISBN
978-3-319-74726-2
Publisher
Springer International Publishing
Place
Las Palmas, ES
DOI
BibTeX
@INPROCEEDINGS{FITPUB11650,
   author = "Bohuslav K\v{r}ena and Hana Pluh\'{a}\v{c}kov\'{a} and Shmuel Ur and Tom\'{a}\v{s} Vojnar",
   title = "Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics",
   pages = "99--108",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2017",
   series = "16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II",
   year = 2018,
   location = "Las Palmas, ES",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-74726-2",
   doi = "10.1007/978-3-319-74727-9\_12",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11650"
}
Back to top