Mgr. Bc. Hana Pluháčková

Publications

2018KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2.
2017AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency and Computation: Practice and Experience. New York: WILEY, 2017, vol. 29, no. 21, pp. 4268-4289. ISSN 1532-0634.
 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.
2014AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, pp. 15-27. ISBN 978-80-214-5022-6.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014.
 DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Heidelberg: Springer Verlag, 2014, pp. 107-122. ISBN 978-3-319-09939-2.
2013DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Testing Concurrent Programs Using Multi-objective Genetic Algorithms. FIT-TR-2013-05, Brno, 2013.

Show all publications

Your IPv4 address: 54.156.39.245
Switch to IPv6 connection

DNSSEC [dnssec]