Bohuslav Krena

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 6

Top Topics

Quality Assurance

Noise Sensitivity

Genetic Optimization

Top Venues

Int. J. Gen. Syst.

Softw. Test. Verification Reliab.

ESEC/SIGSOFT FSE

Publications

Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
Integrating OSLC Services into Eclipse. EUROCAST (2022)
Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE (2022)
Luigi Pomante, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber
The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocess. Microsystems 69 (2019)
Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin
The AQUAS ECSEL Project. DSD (2018)
Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. EUROCAST (2) (2017)
Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich
Boosted decision trees for behaviour mining of concurrent programmes. Concurr. Comput. Pract. Exp. 29 (21) (2017)
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)
Bohuslav Krena, Tomás Vojnar
Automated formal analysis and verification: an overview. Int. J. Gen. Syst. 42 (4) (2013)
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Testing of Concurrent Programs Using Genetic Algorithms. SSBSE (2012)
Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar
A Uniform Classification of Common Concurrency Errors. EUROCAST (1) (2011)
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV (2011)
Bohuslav Krena, Zdenek Letko, Tomás Vojnar
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. RV (2011)
Bohuslav Krena, Zdenek Letko, Tomás Vojnar
Noise Injection Heuristics for Concurrency Testing. MEMICS (2011)
Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur
A platform for search-based testing of concurrent software. PDATAD (2010)
Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
Self-healing Assurance Based on Bounded Model Checking. EUROCAST (2009)
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV (2009)
Zdenek Letko, Tomás Vojnar, Bohuslav Krena
AtomRace: data race and atomicity violation detector and healer. PADTAD (2008)
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar
Healing data races on-the-fly. PADTAD (2007)
Milan Ceska, Bohuslav Krena, Tomás Vojnar
Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST (2005)