Detail publikace

A Platform for Search-Based Testing of Concurrent Software

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

Originální název

A Platform for Search-Based Testing of Concurrent Software

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

Verification, testing, search techniques, concurrent software.

Autoři

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

Rok RIV

2010

Vydáno

13. 7. 2010

Nakladatel

Association for Computing Machinery

Místo

Trento

ISBN

978-1-60558-823-0

Kniha

PADTAD '10

Edice

Proceedings of the 8th Workshop on Parallel and Distributed Systems

Strany od

48

Strany do

58

Strany počet

11

URL

http://www.fit.vutbr.cz/~iletko/pub/padtad10.pdf

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"
}