Trace based reachability verification for statecharts.

Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh

Browse the full ICSE paper archive.