Model Checking Based Conformance Testing for Web Applications

2012 ◽  
Author(s):  
Shengbo Chen
Keyword(s):  
Model Checking ◽  
Web Applications ◽  
Conformance Testing

Verifying Web applications using bounded model checking

2004 ◽  
Author(s):  
Yao-Wen Huang ◽  
Fang Yu ◽  
C. Hang ◽  
Chung-Hung Tsai ◽  
D.T. Lee ◽  
...  
Keyword(s):  
Model Checking ◽  
Web Applications ◽  
Bounded Model Checking

scholarly journals A Latent Implementation Error Detection Method for Software Validation

2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Jiantao Zhou ◽  
Jing Liu ◽  
Jinzhao Wu ◽  
Guodong Zhong
Keyword(s):  
Model Checking ◽  
Error Detection ◽  
Software Verification ◽  
Conformance Testing ◽  
Software Validation ◽  
Software Model Checking ◽  
Software Model ◽  
Novel Approach ◽  
Tightly Coupled ◽  
Security Properties

Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checking and conformance testing into a tightly coupled validation approach, this paper presents a novel approach to detect latent errors in software implementation. The latent errors can be classified into two kinds, one is called as Unnecessary Implementation Trace, and the other is called as Neglected Implementation Trace. The method complements the incompleteness of security properties for software model checking. More accurate models are characterized to leverage the effectiveness of the model-based software verification and testing combined method.

Model-Checking Web Applications with Web-TLR

2010 ◽  
pp. 341-346 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Javier Espert ◽  
Daniel Romero
Keyword(s):  
Model Checking ◽  
Web Applications

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

2010 ◽  
Vol 36 (4) ◽  
pp. 474-494 ◽  
Author(s):  
S Artzi ◽  
A Kiezun ◽  
J Dolby ◽  
F Tip ◽  
D Dig ◽  
...  
Keyword(s):  
Model Checking ◽  
Test Generation ◽  
Web Applications ◽  
Dynamic Test ◽  
State Model

Model checking-based testing of Web applications

2007 ◽  
Vol 12 (5) ◽  
pp. 922-926 ◽  
Author(s):  
Hongwei Zeng ◽  
Huaikou Miao
Keyword(s):  
Model Checking ◽  
Web Applications
Sign in / Sign up

Export Citation Format

Share Document