TestMC: Testing Model Counters using Differential and Metamorphic Testing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Muhammad Usman 0024, Wenxi Wang, Sarfraz Khurshid. TestMC: Testing Model Counters using Differential and Metamorphic Testing. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 709-721, IEEE, 2020. [doi]

This author has not been identified. Look up 'Muhammad Usman 0024' in GoogleThis author has not been identified. Look up 'Wenxi Wang' in GoogleThis author has not been identified. Look up 'Sarfraz Khurshid' in Google

runs on WebDSL