Use runtime verification to improve the quality of medical care practice

Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha. Use runtime verification to improve the quality of medical care practice. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. pages 112-121, ACM, 2016. [doi]

Authors

Yu Jiang

This author has not been identified. Look up 'Yu Jiang' in Google

Han Liu

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

Hui Kong

This author has not been identified. Look up 'Hui Kong' in Google

Rui Wang

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

Mohammad Hosseini

This author has not been identified. Look up 'Mohammad Hosseini' in Google

Jia-Guang Sun

This author has not been identified. Look up 'Jia-Guang Sun' in Google

Lui Sha

This author has not been identified. Look up 'Lui Sha' in Google