Follow
Petr Muller
Petr Muller
Faculty of Information Technology, Brno University of Technology
Verified email at fit.vutbr.cz
Title
Cited by
Cited by
Year
Predator hunting party (competition contribution)
P Muller, P Peringer, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
122015
CPAlien: Shape Analyzer for CPAChecker: (Competition Contribution)
P Muller, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2014
102014
Predator: A Tool for Verification of Low-Level List Manipulation: (Competition Contribution)
K Dudka, P Müller, P Peringer, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2013
102013
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures: (Competition Contribution)
K Dudka, P Müller, P Peringer, T Vojnar
International Conference on Tools and Algorithms for the Construction and …, 2012
102012
Phase-based testing of operating systems
P Muller, O Hudlicky, P Splichal, A Zelinka, J Huta
US Patent 8,793,659, 2014
22014
Automated test planning using test case relevancy
P Splichal, D Pospisil, M Malik, K Srot, A Zelinka, P Muller
US Patent 9,898,392, 2018
12018
CONSTRUCTION OF A RANDOM SENTENCE GENERATOR USABLE FOR COMPILER TESTING
P Muller
A TOOL FOR ANALYSING DYNAMIC MEMORY ALLOCATORS
P Muller
The system can't perform the operation now. Try again later.
Articles 1–8