Publication result detail

A Platform for Search-Based Testing of Concurrent Software

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

Original Title

A Platform for Search-Based Testing of Concurrent Software

English Title

A Platform for Search-Based Testing of Concurrent Software

Type

Abstract

Original Abstract

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.

English abstract

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.

Keywords

Verification, testing, search techniques, concurrent software.

Key words in English

Verification, testing, search techniques, concurrent software.

Authors

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

Released

22.11.2010

Publisher

Masaryk University

Location

Brno

ISBN

978-80-87342-10-7

Book

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

Pages from

208

Pages to

208

Pages count

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