Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Zdeněk Letko"'
Publikováno v:
Software Testing, Verification and Reliability. 25:272-309
Testing of concurrent software written in programming languages like Java and C/C++ is ahighly challenging task owing to the many possible interactions among threads. Asimple, cheap, and effective approach that addresses this challenge is testing wit
Autor:
Z. Volkovich, R. Avros, Hana Pluháčková, Bohuslav Křena, S. Ur, Tomáš Vojnar, V. Dudka, Zdeněk Letko
Publikováno v:
Concurrency and Computation: Practice and Experience. 29:e4268
Summary Testing of concurrent programmes is difficult since the scheduling nondeterminism requires one to test a huge number of different thread interleavings. Moreover, repeated test executions that are performed in the same environment will typical
Publikováno v:
Search-Based Software Engineering ISBN: 9783319099392
SSBSE
SSBSE
Testing of multi-threaded programs is a demanding work due to the many possible thread interleavings one should examine. The noise injection technique helps to increase the number of thread interleavings examined during repeated test executions provi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fa5262a1803a2508d9fc051a5a93ec7
https://doi.org/10.1007/978-3-319-09940-8_8
https://doi.org/10.1007/978-3-319-09940-8_8
Publikováno v:
Runtime Verification ISBN: 9783642298592
RV
RV
Coverage metrics play a crucial role in testing. They allow one to estimate how well a program has been tested and/or to control the testing process. Several concurrency-related coverage metrics have been proposed, but most of them do not reflect con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed35b8ea3d64e9f72235989095eb91cb
https://doi.org/10.1007/978-3-642-29860-8_14
https://doi.org/10.1007/978-3-642-29860-8_14
Publikováno v:
Computer Aided Systems Theory – EUROCAST 2011 ISBN: 9783642275487
EUROCAST (1)
EUROCAST (1)
Nowadays, multi-threaded programs are quite common and so are concurrency-related errors. Many works devoted to detection of concurrency errors have been published in recent years, and many of them presented definitions of concurrency errors that the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f808afc5b432d65a9191dc04a101f349
https://doi.org/10.1007/978-3-642-27549-4_67
https://doi.org/10.1007/978-3-642-27549-4_67
Publikováno v:
Mathematical and Engineering Methods in Computer Science ISBN: 9783642259289
MEMICS
MEMICS
Testing of concurrent software is difficult due to the non-determinism present in scheduling of concurrent threads. Existing testing approaches tackle this problem either using a modified scheduler which allows to systematically explore possible sche
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77129336268c61babb0726ccd6389511
https://doi.org/10.1007/978-3-642-25929-6_12
https://doi.org/10.1007/978-3-642-25929-6_12
Publikováno v:
PDATAD
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, motivat
Autor:
Shmuel Ur, Bohuslav Křena, Tomáš Vojnar, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Zdeněk Letko
Publikováno v:
Runtime Verification ISBN: 9783642046933
RV
RV
This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::543f9b5ae82a85b3bd00c8b983b6033d
https://doi.org/10.1007/978-3-642-04694-0_8
https://doi.org/10.1007/978-3-642-04694-0_8