Test Generation for Web Applications Using Model-Checking

2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ◽

10.1109/snpd.2010.43 ◽

2010 ◽

Cited By ~ 3

Author(s):

Liping Li ◽

Huaikou Miao ◽

Shengbo Chen

Keyword(s):

Model Checking ◽

Test Generation ◽

Web Applications

Download Full-text

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

IEEE Transactions on Software Engineering ◽

10.1109/tse.2010.31 ◽

2010 ◽

Vol 36 (4) ◽

pp. 474-494 ◽

Cited By ~ 66

Author(s):

S Artzi ◽

A Kiezun ◽

J Dolby ◽

F Tip ◽

D Dig ◽

...

Keyword(s):

Model Checking ◽

Test Generation ◽

Web Applications ◽

Dynamic Test ◽

State Model

Download Full-text

Test Generation Using Model Checking and Specification Mutation

IT Professional ◽

10.1109/mitp.2013.104 ◽

2014 ◽

Vol 16 (2) ◽

pp. 17-21 ◽

Cited By ~ 1

Author(s):

Paul E. Black

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text

Model Checking Techniques for Test Generation from Business Process Models

Reliable Software Technologies – Ada-Europe 2009 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-01924-1_5 ◽

2009 ◽

pp. 59-74 ◽

Cited By ~ 4

Author(s):

Didier Buchs ◽

Levi Lucio ◽

Ang Chen

Keyword(s):

Model Checking ◽

Business Process ◽

Test Generation ◽

Process Models ◽

Business Process Models

Download Full-text

Using Model Checking for Reducing the Cost of Test Generation

Formal Approaches to Software Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31848-4_8 ◽

2005 ◽

pp. 110-124 ◽

Cited By ~ 5

Author(s):

Hyoung Seok Hong ◽

Hasan Ural

Keyword(s):

Model Checking ◽

Test Generation ◽

The Cost

Download Full-text

Model Checking Web Applications Based on Web Navigation

Advanced Technology in Teaching - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-29458-7_99 ◽

2012 ◽

pp. 703-711 ◽

Cited By ~ 1

Author(s):

Mingyue Jiang ◽

Zuohua Ding

Keyword(s):

Model Checking ◽

Web Applications ◽

Web Navigation

Download Full-text

Finding Security Vulnerabilities in Java Web Applications with Test Generation and Dynamic Taint Analysis

Advances in Intelligent and Soft Computing - Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science ◽

10.1007/978-3-642-28308-6_18 ◽

2012 ◽

pp. 133-138 ◽

Cited By ~ 1

Author(s):

Yu-Yu Huang ◽

Kung Chen ◽

Shang-Lung Chiang

Keyword(s):

Test Generation ◽

Web Applications ◽

Taint Analysis ◽

Security Vulnerabilities

Download Full-text

Model checking of statecharts using automatic white box test generation

48th Midwest Symposium on Circuits and Systems, 2005. ◽

10.1109/mwscas.2005.1594105 ◽

2005 ◽

Cited By ~ 2

Author(s):

D. Drusinsky

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text

Scaling Model Checking for Test Generation Using Dynamic Inference

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.29 ◽

2013 ◽

Cited By ~ 5

Author(s):

Anand Yeolekar ◽

Divyesh Unadkat ◽

Vivek Agarwal ◽

Shrawan Kumar ◽

R. Venkatesh

Keyword(s):

Model Checking ◽

Test Generation ◽

Scaling Model

Download Full-text

End to End Specification based Test Generation of Web Applications

Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering ◽

10.5220/0005919102960302 ◽

2016 ◽

Author(s):

Khusbu Bubna

Keyword(s):

Test Generation ◽

Web Applications ◽

End To End

Download Full-text

Verifying Web applications using bounded model checking

International Conference on Dependable Systems and Networks, 2004 ◽

10.1109/dsn.2004.1311890 ◽

2004 ◽

Cited By ~ 11

Author(s):

Yao-Wen Huang ◽

Fang Yu ◽

C. Hang ◽

Chung-Hung Tsai ◽

D.T. Lee ◽

...

Keyword(s):

Model Checking ◽

Web Applications ◽

Bounded Model Checking

Download Full-text