Detail publikace

A Platform for Search-Based Testing of Concurrent Software

KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš a UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2010. ISBN 978-80-87342-10-7.
Název česky
Platforma pro aplikaci technik prohledávání stavového prostoru na vícevláknový software
Typ
abstrakt
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Ur Shmuel (IBM)
Rok
2010
Strany
1
Kniha
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'10 -- 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Mikulov, CZ
ISBN
978-80-87342-10-7
Vydavatel
Masarykova universita
Místo
Brno, CZ
Nahoru