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

Emanuela Gadelha Cartaxo, Wilkerson de L. Andrade, Francisco G. Oliveira Neto, Patrcia D. L. Machado

Browse the full SAC paper archive.