Publication Details

A Platform for Search-Based Testing of Concurrent Software

KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. A Platform for Search-Based Testing of Concurrent Software. PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010. p. 48-58. 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)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Ur Shmuel
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
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
48–58
Proceedings
PADTAD '10
Series
Proceedings of the 8th Workshop on Parallel and Distributed Systems
ISBN
978-1-60558-823-0
Publisher
Association for Computing Machinery
Place
Trento
BibTeX 
@inproceedings{BUT34830,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Shmuel {Ur} and Tomáš {Vojnar}",
  title="A Platform for Search-Based Testing of Concurrent Software",
  booktitle="PADTAD '10",
  year="2010",
  series="Proceedings of the 8th Workshop on Parallel and Distributed Systems",
  pages="48--58",
  publisher="Association for Computing Machinery",
  address="Trento",
  isbn="978-1-60558-823-0",
  url="http://www.fit.vutbr.cz/~iletko/pub/padtad10.pdf"
}
Back to top