All types of publications
| Křena, B., Letko, Z., Vojnar, T., Ur, S.: A Platform for Search-Based Testing of Concurrent Software, 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2010, p. 1, ISBN 978-80-87342-10-7 | | 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: | 1 |
|---|
| Book: | 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science |
|---|
| Conference: | MEMICS'10 -- 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science |
|---|
| Place: | Brno, CZ |
|---|
| Year: | 2010 |
|---|
| ISBN: | 978-80-87342-10-7 |
|---|
| Publisher: | Masaryk University |
|---|
| Keywords |
|---|
| Verification, testing, search techniques, concurrent software. |
| Annotation |
|---|
| The abstract 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. |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)