UML state machine diagram driven runtime verification of Java programs for message interaction consistency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong. UML state machine diagram driven runtime verification of Java programs for message interaction consistency. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 384-389, ACM, 2008. [doi]

This author has not been identified. Look up 'Xuandong Li' in GoogleThis author has not been identified. Look up 'Xiaokang Qiu' in GoogleThis author has not been identified. Look up 'Linzhang Wang' in GoogleThis author has not been identified. Look up 'Bin Lei' in GoogleThis author has not been identified. It may be one of the following persons:

W. Eric Wong

Look up 'W. Eric Wong' in Google

runs on WebDSL