On the public citation graph
Modelling methods for web application verification and testing: state of the art
0 signed · 97 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1096-9942(1998)4:4<207::aid-tapo2>3.0.co;2-2openalex-snapshot
An object oriented approach to web-based applications design
inferredcites →https://doi.org/10.1007/11531371_12openalex-snapshot
Design Verification of Web Applications Using Symbolic Model Checking
inferredcites →https://doi.org/10.1007/11610496_20openalex-snapshot
VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content
inferredcites →https://doi.org/10.1007/3-540-44804-7openalex-snapshot
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
inferredcites →https://doi.org/10.1007/3-540-45319-9_26openalex-snapshot
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
inferredcites →https://doi.org/10.1007/3-540-46002-0_2openalex-snapshot
Alloy: A New Technology for Software Modelling
inferredcites →https://doi.org/10.1007/978-3-540-30232-2_8openalex-snapshot
Formal Verification of Web Applications Modeled by Communicating Automata
inferredcites →https://doi.org/10.1007/978-3-540-30482-1_12openalex-snapshot
Formal Models for Web Navigations with Session Control and Browser Cache
inferredcites →https://doi.org/10.1007/978-3-540-39737-3_126openalex-snapshot
Modeling Web Systems Using SDL
inferredcites →https://doi.org/10.1007/978-3-540-39929-2_5openalex-snapshot
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
inferredcites →https://doi.org/10.1007/978-3-540-72982-2_18openalex-snapshot
A Fast Algebraic Web Verification Service
inferredcites →https://doi.org/10.1007/978-3-540-73597-7_22openalex-snapshot
A Transformation-Driven Approach to the Verification of Security Policies in Web Designs
inferredcites →https://doi.org/10.1007/978-3-540-73597-7_24openalex-snapshot
Auto-Generating Test Sequences for Web Applications
inferredcites →https://doi.org/10.1007/978-3-540-73597-7_25openalex-snapshot
A Survey of Analysis Models and Methods in Website Verification and Testing
inferredcites →https://doi.org/10.1007/978-3-540-73597-7_50openalex-snapshot
Tool Support for Model Checking of Web Application Designs
inferredcites →https://doi.org/10.1007/978-3-540-75209-7_30openalex-snapshot
UML2Alloy: A Challenging Model Transformation
inferredcites →https://doi.org/10.1007/s10009-006-0009-7openalex-snapshot
Rule-based verification of Web sites
inferredcites →https://doi.org/10.1007/s100090050046openalex-snapshot
NUSMV: a new symbolic model checker
inferredcites →https://doi.org/10.1007/s10270-004-0077-7openalex-snapshot
Testing Web applications by modeling with FSMs
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/j.entcs.2004.07.014openalex-snapshot
A Rewriting-based Framework for Web Sites Verification
inferredcites →https://doi.org/10.1016/j.entcs.2006.01.023openalex-snapshot
WAVer: A Model Checking-based Tool to Verify Web Application Design
inferredcites →https://doi.org/10.1016/j.infsof.2006.06.006openalex-snapshot
Testing Web-based applications: The state of the art and future trends
inferredcites →https://doi.org/10.1016/j.is.2004.09.001openalex-snapshot
Modelling hypermedia and web applications: the Ariadne Development Method
inferredcites →https://doi.org/10.1016/j.jcss.2006.10.006openalex-snapshot
Specification and verification of data-driven Web applications
inferredcites →https://doi.org/10.1016/s0169-7552(98)00042-7openalex-snapshot
WSDM: a user centered design method for Web sites
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/aict-iciw.2006.103openalex-snapshot
FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach
inferredcites →https://doi.org/10.1109/apsec.2005.79openalex-snapshot
Model checking class specifications for Web applications
inferredcites →https://doi.org/10.1109/cmpsac.2000.884778openalex-snapshot
An object-oriented Web test model for testing Web applications
inferredcites →https://doi.org/10.1109/gcc.2007.41openalex-snapshot
An Approach to Modeling Hypermedia Web Applications
inferredcites →https://doi.org/10.1109/iceccs.2007.30openalex-snapshot
Model Checking-based Verification of Web Application
inferredcites →https://doi.org/10.1109/iciw.2007.67openalex-snapshot
Type-Based Static and Dynamic Website Verification
inferredcites →https://doi.org/10.1109/icsm.2000.883017openalex-snapshot
Web site analysis: structure and evolution
inferredcites →https://doi.org/10.1109/issre.2004.13openalex-snapshot
Bypass Testing of Web Applications
inferredcites →https://doi.org/10.1109/sefm.2006.6openalex-snapshot
A Semi-Automatic Methodology for Repairing FaultyWeb Sites
inferredcites →https://doi.org/10.1109/tse.2005.36openalex-snapshot
Leveraging user-session data to support Web application testing
inferredcites →https://doi.org/10.1109/wpc.2004.1311054openalex-snapshot
Understanding web applications through dynamic analysis
inferredcites →https://doi.org/10.1109/wse.2002.1134088openalex-snapshot
Dynamic model extraction and statistical analysis of Web applications
inferredcites →https://doi.org/10.1109/wse.2005.8openalex-snapshot
Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications
inferredcites →https://doi.org/10.1109/wwv.2006.8openalex-snapshot
Fixing Web Sites Using Correction Strategies
inferredcites →https://doi.org/10.1145/1066157.1066219openalex-snapshot
A verifier for interactive, data-driven web applications
inferredcites →https://doi.org/10.1145/1145581.1145645openalex-snapshot
Modeling and verification of adaptive navigation in web applications
inferredcites →https://doi.org/10.1145/151480.151483openalex-snapshot
HDM—a model-based approach to hypertext application design
inferredcites →https://doi.org/10.1145/317665.317677openalex-snapshot
Modeling Web application architectures with UML
inferredcites →https://doi.org/10.1145/581380.581383openalex-snapshot
Architecture recovery of web applications
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1496openalex-snapshot
Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour
inferred← citeshttps://doi.org/10.1002/stvr.1573openalex-snapshot
Anomaly detection in performance regression testing by transaction profile estimation
inferred← citeshttps://doi.org/10.1007/978-3-319-33612-1_4openalex-snapshot
Modeling and Formal Analysis of a Client-Server Application for Cloud Services
inferred← citeshttps://doi.org/10.1007/978-3-642-15643-4_25openalex-snapshot
Model-Checking Web Applications with Web-TLR
inferred← citeshttps://doi.org/10.1007/978-3-642-22233-7_24openalex-snapshot
Formal Modeling of RESTful Systems Using Finite-State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-22309-9_6openalex-snapshot
Semantic Verification in an Open Collaboration Scenario
inferred← citeshttps://doi.org/10.1007/978-3-642-25992-0_22openalex-snapshot
Automatic Extraction and Verification of State-Models for Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-28258-4_17openalex-snapshot
Sink Web Pages in Web Application
inferred← citeshttps://doi.org/10.1007/978-3-642-30157-5_75openalex-snapshot
A High Level Approach to Web Content Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-31753-8_9openalex-snapshot
Recovering Role-Based Access Control Security Models from Dynamic Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-33678-2_14openalex-snapshot
Extracting EFSMs of Web Applications for Formal Requirements Specification
inferred← citeshttps://doi.org/10.1007/978-3-642-33941-7_32openalex-snapshot
Similarity Measurement of Web Sites
inferred← citeshttps://doi.org/10.1007/978-3-642-35623-0_7openalex-snapshot
Model-Driven Testing for Web Applications Using Abstract State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-39698-4_7openalex-snapshot
Concept Analysis Based Approach to Statistical Web Testing
inferred← citeshttps://doi.org/10.1007/978-981-10-6544-6_17openalex-snapshot
Security of Web Application: State of the Art
inferred← citeshttps://doi.org/10.1007/s00165-016-0371-5openalex-snapshot
ASM-based formal design of an adaptivity component for a Cloud system
inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.11.006openalex-snapshot
Advances in Web Application Testing, 2010–2014
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.02.006openalex-snapshot
A systematic mapping study of web application testing
inferred← citeshttps://doi.org/10.1016/j.is.2014.02.001openalex-snapshot
Two decades of Web application testing—A survey of recent advances
inferred← citeshttps://doi.org/10.1016/j.jss.2014.01.010openalex-snapshot
Web application testing: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.procs.2013.09.020openalex-snapshot
Usage-pattern based Statistical Web Testing and Reliability Measurement
inferred← citeshttps://doi.org/10.1016/j.procs.2015.02.146openalex-snapshot
A VDM-based Approach for Specifying and Testing Requirements of Web-applications
inferred← citeshttps://doi.org/10.1109/cicsyn.2013.10openalex-snapshot
Website Regional Rapid Security Detection Method
inferred← citeshttps://doi.org/10.1109/compsacw.2011.32openalex-snapshot
Automated Test Case Generation for Web Applications from a Domain Specific Model
inferred← citeshttps://doi.org/10.1109/ic3.2013.6612192openalex-snapshot
A model based approach to test case generation for testing the navigation behavior of dynamic web applications
inferred← citeshttps://doi.org/10.1109/iccasm.2010.5620127openalex-snapshot
A model checking approach to Web application navigation model with session mechanism
inferred← citeshttps://doi.org/10.1109/icdim.2011.6093342openalex-snapshot
Filtering XML content for publication and presentation on the web
inferred← citeshttps://doi.org/10.1109/icmwi.2010.5647875openalex-snapshot
WeSPaS — Web specification pattern system
inferred← citeshttps://doi.org/10.1109/icst.2011.34openalex-snapshot
A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications
inferred← citeshttps://doi.org/10.1109/icst.2011.36openalex-snapshot
Security Model Evolution of PHP Web Applications
inferred← citeshttps://doi.org/10.1109/icst.2013.54openalex-snapshot
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker
inferred← citeshttps://doi.org/10.1109/icstw.2009.8openalex-snapshot
Automated Reverse Engineering of UML Sequence Diagrams for Dynamic Web Applications
inferred← citeshttps://doi.org/10.1109/icstw.2015.7107405openalex-snapshot
Model-based approach for automated test case generation from visual requirement specifications
inferred← citeshttps://doi.org/10.1109/pst.2011.5971962openalex-snapshot
Extraction and comprehension of moodle's access control model: A case study
inferred← citeshttps://doi.org/10.1109/quatic.2012.41openalex-snapshot
Modelling Websites Navigation Elements According to Usability Aspects
inferred← citeshttps://doi.org/10.1109/ret.2015.15openalex-snapshot
Visual Requirements Specification and Automated Test Generation for Digital Applications
inferred← citeshttps://doi.org/10.1109/seaa56994.2022.00081openalex-snapshot
A Mapping Study of Security Vulnerability Detection Approaches for Web Applications
inferred← citeshttps://doi.org/10.1109/wse.2009.5631226openalex-snapshot
WAFA: Fine-grained dynamic analysis of web applications
inferred← citeshttps://doi.org/10.1109/wse.2012.6320525openalex-snapshot
Automated verification of role-based access control security models recovered from dynamic web applications
inferred← citeshttps://doi.org/10.1142/s0218194021500182openalex-snapshot
VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications
inferred← citeshttps://doi.org/10.2753/jec1086-4415170104openalex-snapshot
Metamodeling to Control and Audit E-Commerce Web Applications
inferred← citeshttps://doi.org/10.4018/ijsi.2019100102openalex-snapshot
Mutation Testing for Evaluating PHP Web Applications
inferred← citeshttps://doi.org/10.4995/thesis/10251/12496openalex-snapshot
Rewriting-based Verification and Debugging of Web Systems
inferred← citeshttps://doi.org/10.4995/thesis/10251/8964openalex-snapshot
Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems
inferred← citeshttps://doi.org/10.5753/sbsi.2011.14572openalex-snapshot
Extensão de um metamodelo de Aplicações Baseadas na Web considerando Ajax
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.