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
Pages:11
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
Year:2010
ISBN:978-1-60558-823-0
Publisher:Association for Computing Machinery
URL:http://www.fit.vutbr.cz/~iletko/pub/padtad10.pdf [PDF]
Keywords
Verification, testing, search techniques, concurrent software.
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav Křena and Zdeněk Letko and Shmuel Ur and Tomáš
	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 = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=9275}
}

Your IPv4 address: 54.242.8.162
Switch to IPv6 connection

DNSSEC [dnssec]