Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems | IEEE Conference Publication | IEEE Xplore