Detail publikace

A Platform for Search-Based Testing of Concurrent Software

KŘENA, B. LETKO, Z. VOJNAR, T. UR, S.

Originální název

A Platform for Search-Based Testing of Concurrent Software

Typ

abstrakt

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Verification, testing, search techniques, concurrent software.

Autoři

KŘENA, B.; LETKO, Z.; VOJNAR, T.; UR, S.

Vydáno

22. 11. 2010

Nakladatel

Masaryk University

Místo

Brno

ISBN

978-80-87342-10-7

Kniha

6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Strany od

208

Strany do

208

Strany počet

1

BibTex

@misc{BUT192723,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar} and Shmuel {Ur}",
  title="A Platform for Search-Based Testing of Concurrent Software",
  booktitle="6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2010",
  pages="208--208",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-10-7",
  note="abstract"
}