Jonatan Alava, Tariq M. King, Peter J. Clarke. Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 439-446, IEEE Computer Society, 2006. [doi]
Abstract is missing.