"LTS-BT: a tool to generate and select functional test cases for embedded ..."

Emanuela Gadelha Cartaxo et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics