Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria.

Jonatan Alava, Tariq M. King, Peter J. Clarke

Browse the full COMPSAC paper archive.