Publication Details

A Platform for Search-Based Testing of Concurrent Software

KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010, p. 11. ISBN 978-1-60558-823-0.
Czech title
Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Type
conference paper
Language
english
Authors
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Letko Zdeněk, Ing., Ph.D. (DITS FIT BUT)
Ur Shmuel (IBM)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

Verification, testing, search techniques, concurrent software.

Abstract
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techniques and for applying them in the area of software testing. Further, motivated by a lack of research on search-based testing targeted at identifying concurrency-related problems, we instantiate S'Bestie for search-based testing of concurrent programs using the IBM's concurrency testing infrastructure called ConTest. We demonstrate capabilities of S'Bestie on a series of experiments, which---despite we have just started our experiments with S'Bestie---also illustrate the fact that  search-based testing can be quite useful in the context of testing concurrent programs.
Published
2010
Pages
11
Proceedings
PADTAD '10
Series
Proceedings of the 8th Workshop on Parallel and Distributed Systems
Conference
PADTAD VIII – Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, Trento, IT
ISBN
978-1-60558-823-0
Publisher
Association for Computing Machinery
Place
Trento, IT
BibTeX 
@INPROCEEDINGS{FITPUB9275,
   author = "Bohuslav K\v{r}ena and Zden\v{e}k Letko and Shmuel Ur and Tom\'{a}\v{s} Vojnar",
   title = "A Platform for Search-Based Testing of Concurrent Software",
   pages = 11,
   booktitle = "PADTAD '10",
   series = "Proceedings of the 8th Workshop on Parallel and Distributed Systems",
   year = 2010,
   location = "Trento, IT",
   publisher = "Association for Computing Machinery",
   ISBN = "978-1-60558-823-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9275"
}
Back to top