High Level Test Synthesis Across the Boundary of Behavioral and Structural Domains.

Kowen Lai, Christos A. Papachristou, Mikhail Baklashov

Browse the full ICCD paper archive.