Time-Staging Enhancement of Hybrid System Falsification
Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards · 2018
Optimization-based falsification employs stochastic optimization algorithms to search for error input of hybrid systems. We propose a strategy that constructs such an input incrementally in several time stages. Experiments show that this stragety can significantly improve success rate and performance of falsification on certain classes of systems and properties.