Papers
| Křena, B., Letko, Z., Ur, S., Vojnar, T.: A Platform for Search-Based Testing of Concurrent Software, In: PADTAD '10, Trento, IT, ACM, 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?id=9275}
} |
|