DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules

Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li. DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 194-201, IEEE, 2011. [doi]

Authors

Yanbin Liu

This author has not been identified. Look up 'Yanbin Liu' in Google

Ye Yang

This author has not been identified. Look up 'Ye Yang' in Google

Qiusong Yang

This author has not been identified. Look up 'Qiusong Yang' in Google

Mingshu Li

This author has not been identified. Look up 'Mingshu Li' in Google