T. Ando

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

Akira Fukuda, Kenji Hisazumi, Leyuan Liu, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).