Requirements-Driven Model Checking and Test Generation for Comprehensive Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar. Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 576-596, Springer, 2022. [doi]

This author has not been identified. Look up 'Devesh Bhatt' in GoogleThis author has not been identified. Look up 'Hao Ren' in GoogleThis author has not been identified. Look up 'Anitha Murugesan' in GoogleThis author has not been identified. Look up 'Jason Biatek' in GoogleThis author has not been identified. Look up 'Srivatsan Varadarajan' in GoogleThis author has not been identified. Look up 'Natarajan Shankar' in Google

runs on WebDSL