Vendula Hrubá

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Software Development Life Cycle

Concurrent Programs

Noise Sensitivity

Genetic Optimization

Top Venues

Softw. Test. Verification Reliab.

Publications

Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25 (3) (2015)
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. SSBSE (2014)
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Testing of Concurrent Programs Using Genetic Algorithms. SSBSE (2012)
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV (2011)
Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
Self-healing Assurance Based on Bounded Model Checking. EUROCAST (2009)