Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu. Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011. pages 140-149, IEEE Computer Society, 2011. [doi]
Abstract is missing.