Pavel Herout

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 8

Top Topics

Quantitative Evaluation

Defect Detection

Integration Testing

Top Venues

Publications

Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout
Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. ICSTW (2023)
Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Xavier J. A. Bellekens, Robert C. Atkinson, Christos Tachtatzis, Pavel Herout
Specialized path-based technique to test Internet of Things system functionality under limited network connectivity. Internet Things 22 (2023)
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
PatrIoT: IoT Automated Interoperability and Integration Testing Framework. CoRR (2021)
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
PatrIoT: IoT Automated Interoperability and Integration Testing Framework. ICST (2021)
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. ICST (2020)
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. CoRR (2020)
Pavel Herout, Premek Brada
UML-Test Application for Automated Validation of Students' UML Class Diagram. CSEE&T (2016)
Pavel Herout, Premysl Brada
Duck Testing Enhancements for Automated Validation of Student Programmes - How to Automatically Test the Quality of Implementation of Students' Programmes. CSEDU (1) (2015)
Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout
SimCo - Hybrid Simulator for Testing of Component Based Applications. SOFSEM (2013)
Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout
Verification of SimCo - Simulation tool for testing of component-based application. EUROCON (2013)
Tomas Potuzak, Richard Lipka, Premek Brada, Pavel Herout
Testing a Component-Based Application for Road Traffic Crossroad Control Using the SimCo Simulation Framework. EUROMICRO-SEAA (2012)
Tomás Kohlschütter, Pavel Herout
Automatic Human Body Parts Detection in a 2D Anthropometric System. ISVC (2) (2012)
Ivan Puchr, Pavel Herout
Signal Pre-processing Subsystem for the Purpose of Industrial Control. ICINCO (1) (2011)
Tomas Potuzak, Richard Lipka, Jaroslav Snajberk, Premek Brada, Pavel Herout
Design of a Component-Based Simulation Framework for Component Testing Using SpringDM. ECBS-EERC (2011)
Richard Lipka, Pavel Herout
System For Comparison Of Traffic Control Agents' Performance. ECMS (2009)
Jana Hajková, Pavel Herout
Parameterization of Samples for Modeling of Laser Burning - Increasing the Lifelikeness of Synthetically Generated Samples. ICSOFT (1) (2009)
Richard Lipka, Pavel Herout
Implementation of Traffic Lights in JUTS. UKSim (2008)
Stanislav Racek, Pavel Herout, Jan Hlavicka
Dependability Evaluation of Time Triggered Architecture Using Simulation. Comput. Artif. Intell. 23 (1) (2004)
Pavel Herout, Stanislav Racek, Jan Hlavicka
Model-Based Dependability Evaluation Method for TTP/C Based Systems. EDCC (2002)
Astrit Ademaj, Petr Grillinger, Pavel Herout, Jan Hlavicka
Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods. IOLTW (2002)
Jan Hlavicka, Stanislav Racek, Pavel Herout
Evaluation of process controller fault tolerance using simulation. Simul. Pract. Theory 7 (8) (2000)