Keyword:Randomized testing

Publications
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems Mark Wetzlinger and Matthias Althoff In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems