External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations

Chengsong Wang, Zhenbang Chen, Xiaoguang Mao. Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. In Axel Legay, Saddek Bensalem, editors, Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Volume 8174 of Lecture Notes in Computer Science, pages 269-284, Springer, 2013. [doi]

Authors

Chengsong Wang

This author has not been identified. Look up 'Chengsong Wang' in Google

Zhenbang Chen

This author has not been identified. Look up 'Zhenbang Chen' in Google

Xiaoguang Mao

This author has not been identified. Look up 'Xiaoguang Mao' in Google
runs on