Supporting domain-specific state space reductions through local partial-order reduction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri. Supporting domain-specific state space reductions through local partial-order reduction. In Perry Alexander, Corina S. Pasareanu, John G. Hosking, editors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. pages 113-122, IEEE, 2011. [doi]

This author has not been identified. Look up 'Péter Bokor' in GoogleThis author has not been identified. Look up 'Johannes Kinder' in GoogleThis author has not been identified. Look up 'Marco Serafini' in GoogleThis author has not been identified. Look up 'Neeraj Suri' in Google

runs on WebDSL