Conference
Automated Requirements Validation for ATP Software via Specification Review and Testing.
Authors
Miao W; Pu G; Yao Y; Su T; Bao D; Liu Y; Chen S; Xiong K
Editors
Ogata K; Lawford M; Liu S
Series
Lecture Notes in Computer Science
Volume
10009
Pagination
pp. 26-40
Publication Date
January 1, 2016
ISBN-13
978-3-319-47845-6
Conference proceedings
ICFEM