Radius aware probabilistic testing of deadlocks with guarantees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yan Cai, Zijiang Yang. Radius aware probabilistic testing of deadlocks with guarantees. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 356-367, ACM, 2016. [doi]

This author has not been identified. Look up 'Yan Cai' in GoogleThis author has not been identified. Look up 'Zijiang Yang' in Google

runs on WebDSL