Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ajay Chander' in GoogleThis author has not been identified. Look up 'Dinakar Dhurjati' in GoogleThis author has not been identified. Look up 'Koushik Sen' in GoogleThis author has not been identified. Look up 'Dachuan Yu' in Google

runs on WebDSL