Conference paper

KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. A Platform for Search-Based Testing of Concurrent Software. In: PADTAD '10. Trento: Association for Computing Machinery, 2010, p. 11. ISBN 978-1-60558-823-0.
Publication language:english
Original title:A Platform for Search-Based Testing of Concurrent Software
Title (cs):Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Proceedings:PADTAD '10
Conference:PADTAD VIII – Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Series:Proceedings of the 8th Workshop on Parallel and Distributed Systems
Place:Trento, IT
Publisher:Association for Computing Machinery
Verification, testing, search techniques, concurrent software.
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.
   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
   pages = 11,
   booktitle = {PADTAD '10},
   series = {Proceedings of the 8th Workshop on Parallel and Distributed
   year = 2010,
   location = {Trento, IT},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-60558-823-0},
   language = {english},
   url = {}

Your IPv4 address: