Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu

Browse the full ICST paper archive.