TY - RPRT TI - A requirements inspection method based on scenarios generated by model mutation and the experimental validation AU - Li, Boyuan AU - Diao, Xiaoxu AU - Gao, Wei AU - Smidts, Carol PY - 2021 DO - 10.1007/s10664-021-10001-9 UR - https://www.osti.gov/biblio/1850482 ID - 1850482 ER -