Přístupnostní navigace
E-application
Search Search Close
Publication detail
KŘENA, B. LETKO, Z. UR, S. VOJNAR, T.
Original Title
A Platform for Search-Based Testing of Concurrent Software
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
Keywords
Verification, testing, search techniques, concurrent software.
Authors
KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T.
RIV year
2010
Released
13. 7. 2010
Publisher
Association for Computing Machinery
Location
Trento
ISBN
978-1-60558-823-0
Book
PADTAD '10
Edition
Proceedings of the 8th Workshop on Parallel and Distributed Systems
Pages from
48
Pages to
58
Pages count
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" }