Author Info
Name
Affiliation
Papers
VENDULA HRUBÁ
FIT, Brno University of Technology, Czech Republic
4
Collaborators
Citations 
PageRank 
9
10
1.54
Referers 
Referees 
References 
25
93
57
Title
Citations
PageRank
Year
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.40.382014
Testing of concurrent programs using genetic algorithms40.392012
DA-BMC: a tool chain combining dynamic analysis and bounded model checking00.342011
Self-healing Assurance Based on Bounded Model Checking20.432009