基于接口自动机的Web应用验证

基于接口自动机的Web应用验证

谭亮,曾红卫

Interface automata-based verification for Web applications

TAN Liang,ZENG Hong-wei

计算机工程与应用 . 2009, (3): 70 -73 . DOI: 10.3778/j.issn.1002-8331.2009.03.020