Publication Details
Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]
KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017. Available from: http://www.memics.cz/2017/download/sbornik.pdf
Type
abstract
Language
english
Authors
Kozák David, Ing. (FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Pluháčková Hana, Mgr. Bc. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Pluháčková Hana, Mgr. Bc. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Published
2017
Pages
25-25
Book
The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'17 - 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, CZ
Place
Telč, CZ