Decision ordering based property decomposition for functional test generation.

Mingsong Chen 0001 Prabhat Mishra 0001 Decision ordering based property decomposition for functional test generation. 167-172 2011 DATE https://doi.org/10.1109/DATE.2011.5763037 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763037 conf/date/2011 db/conf/date/date2011.html#ChenM11