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

S Artzi; A Kiezun; J Dolby; F Tip; D Dig; A Paradkar; M D Ernst

doi:10.1109/tse.2010.31

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 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

Efficient Explicit-State Model Checking on General Purpose Graphics Processors

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16164-3_8 ◽

2010 ◽

pp. 106-123 ◽

Cited By ~ 15

Author(s):

Stefan Edelkamp ◽

Damian Sulewski

Keyword(s):

Model Checking ◽

General Purpose ◽

State Model ◽

Graphics Processors

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

Explicit State Model Checking for Graph Grammars

Concurrency, Graphs and Models - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68679-8_8 ◽

2008 ◽

pp. 114-132 ◽

Cited By ~ 19

Author(s):

Arend Rensink

Keyword(s):

Model Checking ◽

State Model ◽

Graph Grammars

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