Computer Science ›› 2014, Vol. 41 ›› Issue (8): 219-223.doi: 10.11896/j.issn.1002-137X.2014.08.047
Previous Articles Next Articles
HE Tao,MIAO Huai-kou and QIAN Zhong-sheng
| [1] Garrett J J．Ajax:A New Approach to Web Applications.http://adaptivepath.com/ideas/essays/archives /000385.php [2] Li L P,Miao H K,Chen S B．Test Generation for Web Applica-tions Using Model-Checking[C]∥SNPD．2010:237-242 [3] Grumberg,Long D E．Model checking and modular verification[J]．ACM Transactions on Programming Languages and Systems,1994,16(3):843-871 [4] 颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,1(2):184-187 [5] 曾红卫.Web应用的验证与测试方法研究[D].上海:上海大学,2008 [6] Hierons R M,Bogdanov K,Bowen J P,et al.Using formal specifications to support testing[J]．ACM Computing Surveys (CSUR),2009,41(2):1-76 [7] Ammann P,Ding W,Xu D．Using a model checker to test safety properties[C]∥Proceedings of the 7th International Conference on Engineering of Complex Computer Systems(ICECCS 2001)．IEEE Press:New York,2001:212-221 [8] Fraser G,Wotawa F,Ammann P E．Testing with model chec-kers:a survey[J]．Software Testing,Verification and Reliability,2009,19(3):215-261 [9] Marchetto A,Tonella P,Ricca F．State-based testing of AjaxWeb applications[C]∥Proceedings of the 1st IEEE International Conference on Software Testing Verification and Validation (ICST’08)．IEEE Computer Society,2008:120-130 [10] Mesbah A,Bozdag E,van Deursen A．Crawling Ajax by Inferring User Interface State Changes[C]∥Eighth Interational Conference:Web Engineering,ICWE’08．2008:122-134 [11] Mesbah A,van Deursen A,Roest D．Invariant-based automatic testing of modern Web applications[J]．IEEE Transactions on Software Engineering (TSE),2012,38(1):35-53 [12] McMillan K L．The SMV System for SMV version 2.5.4 ．http://www.cs.cmu.edu/modelcheck/smv/smvmanual.ps [13] Fraser G,Gargantini A．An evaluation of model checkers forspecification based test case generation[C]∥ICST．IEEE Computer Society,2009:41-50 |
| No related articles found! |
|
||
Home