Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Browse the full APSEC paper archive.