Predator hunting party (competition contribution) P Muller, P Peringer, T Vojnar Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 12 | 2015 |
CPAlien: Shape Analyzer for CPAChecker: (Competition Contribution) P Muller, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2014 | 10 | 2014 |
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 | 10 | 2013 |
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 | 10 | 2012 |
Phase-based testing of operating systems P Muller, O Hudlicky, P Splichal, A Zelinka, J Huta US Patent 8,793,659, 2014 | 2 | 2014 |
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 | 1 | 2018 |
CONSTRUCTION OF A RANDOM SENTENCE GENERATOR USABLE FOR COMPILER TESTING P Muller | | |
A TOOL FOR ANALYSING DYNAMIC MEMORY ALLOCATORS P Muller | | |