Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
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
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" }