On the public citation graph
A holistic approach to model‐based testing of Web service compositions
0 signed · 60 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/stvr.335openalex-snapshot
Event-based modelling, analysis and testing of user interactions: approach and case study
inferredcites →https://doi.org/10.1002/stvr.427openalex-snapshot
Model‐based quality assurance of protocol documentation: tools and methodology
inferredcites →https://doi.org/10.1007/11754008_8openalex-snapshot
Towards the Testing of Composed Web Services in 3rd Generation Networks
inferredcites →https://doi.org/10.1007/978-3-540-95888-8_4openalex-snapshot
Service-Oriented Architectures Testing: A Survey
inferredcites →https://doi.org/10.1007/978-3-642-05031-2_12openalex-snapshot
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
inferredcites →https://doi.org/10.1007/978-3-642-05031-2_2openalex-snapshot
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
inferredcites →https://doi.org/10.1007/s00778-007-0044-3openalex-snapshot
Service oriented architectures: approaches, technologies and research issues
inferredcites →https://doi.org/10.1007/s11761-010-0056-5openalex-snapshot
Event-driven modeling and testing of real-time web services
inferredcites →https://doi.org/10.1016/0004-3702(96)00007-0openalex-snapshot
Artificial intelligence: A modern approach
inferredcites →https://doi.org/10.1016/s0950-5849(99)00016-6openalex-snapshot
Formalization and verification of event-driven process chains
inferredcites →https://doi.org/10.1017/cbo9780511626364.010openalex-snapshot
Communicating Sequential Processes
inferredcites →https://doi.org/10.1017/cbo9780511809163openalex-snapshot
Introduction to Software Testing
inferredcites →https://doi.org/10.1109/compsac.2011.17openalex-snapshot
Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability
inferredcites →https://doi.org/10.1109/esem.2007.22openalex-snapshot
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
inferredcites →https://doi.org/10.1109/icws.2010.24openalex-snapshot
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
inferredcites →https://doi.org/10.1109/issre.2001.989456openalex-snapshot
Finite state testing and analysis of graphical user interfaces
inferredcites →https://doi.org/10.1109/qsic.2009.50openalex-snapshot
Generating Effective Test Sequences for BPEL Testing
inferredcites →https://doi.org/10.1109/quatic.2010.49openalex-snapshot
Model-Driven Service Integration Testing - A Case Study
inferredcites →https://doi.org/10.1109/sose.2011.6139107openalex-snapshot
Model-based testing of web service compositions
inferredcites →https://doi.org/10.1109/sose.2011.6139108openalex-snapshot
An automated approach to robustness testing of BPEL orchestrations
inferredcites →https://doi.org/10.1109/ssiri-c.2010.26openalex-snapshot
Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis
inferredcites →https://doi.org/10.1109/tsc.2011.22openalex-snapshot
Effective Message-Sequence Generation for Testing BPEL Programs
inferredcites →https://doi.org/10.1109/tse.2006.56openalex-snapshot
Reachability testing of concurrent programs
inferredcites →https://doi.org/10.1109/tse.2010.50openalex-snapshot
GUI Interaction Testing: Incorporating Event Context
inferredcites →https://doi.org/10.1145/1062455.1062529openalex-snapshot
One evaluation of model-based testing and its automation
inferredcites →https://doi.org/10.1145/1595696.1595720openalex-snapshot
Data flow testing of service choreography
inferredcites →https://doi.org/10.1145/1982595.1982602openalex-snapshot
A comparative evaluation of state-of-the-art web service composition testing approaches
inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferredcites →https://doi.org/10.1147/sj.444.0781openalex-snapshot
The Enterprise Service Bus: Making service-oriented architecture real
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.1637openalex-snapshot
Event tree algorithms to generate test sequences for composite Web services
inferred← citeshttps://doi.org/10.1002/stvr.1729openalex-snapshot
A verified and optimized Stream X‐Machine testing method, with application to cloud service certification
inferred← citeshttps://doi.org/10.1007/978-3-030-03596-9_40openalex-snapshot
Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance
inferred← citeshttps://doi.org/10.1007/978-3-030-13651-2_3openalex-snapshot
Research Review on Web Service Composition Testing
inferred← citeshttps://doi.org/10.1007/s10270-021-00924-8openalex-snapshot
Model-based test case generation and prioritization: a systematic literature review
inferred← citeshttps://doi.org/10.1007/s10270-021-00934-6openalex-snapshot
Model-based ideal testing of hardware description language (HDL) programs
inferred← citeshttps://doi.org/10.1007/s10836-019-05844-6openalex-snapshot
Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines
inferred← citeshttps://doi.org/10.1007/s11219-016-9321-yopenalex-snapshot
Model-based testing of digital TVs: an industry-as-laboratory approach
inferred← citeshttps://doi.org/10.1007/s11219-016-9338-2openalex-snapshot
Automated refinement of models for model-based testing using exploratory testing
inferred← citeshttps://doi.org/10.1049/iet-sen.2016.0173openalex-snapshot
PLATEM: a method for mobile applications testing
inferred← citeshttps://doi.org/10.1109/access.2021.3077518openalex-snapshot
Model-Based Ideal Testing of GUI Programs–Approach and Case Studies
inferred← citeshttps://doi.org/10.1109/compsac.2019.00076openalex-snapshot
The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations
inferred← citeshttps://doi.org/10.1109/compsacw.2014.110openalex-snapshot
Improving Models for Model-Based Testing Based on Exploratory Testing
inferred← citeshttps://doi.org/10.1109/edcc.2019.00037openalex-snapshot
Exploiting MDE for Platform-Independent Testing of Service Orchestrations
inferred← citeshttps://doi.org/10.1109/icces.2016.7822032openalex-snapshot
Model-driven test cases generation for multi-level service composition
inferred← citeshttps://doi.org/10.1109/iccta40200.2016.9513234openalex-snapshot
Event-driven Modeling Test Case Generation with Holistic View for Multilevel Services Composition
inferred← citeshttps://doi.org/10.1109/icdim.2015.7381886openalex-snapshot
Generating Finite State Machine from WSMO choreography for testing Web services
inferred← citeshttps://doi.org/10.1109/prdc50213.2020.00024openalex-snapshot
Using Metamodels to Improve Model-Based Testing of Service Orchestrations
inferred← citeshttps://doi.org/10.1109/qrs.2018.00043openalex-snapshot
Vulnerability Assessment of Web Services with Model-Based Mutation Testing
inferred← citeshttps://doi.org/10.1109/tsc.2014.2322621openalex-snapshot
Preemptive Regression Testingof Workflow-Based Web Services
inferred← citeshttps://doi.org/10.1109/tsc.2014.2331683openalex-snapshot
A Subsumption Hierarchy of Test Case Prioritization for Composite Services
inferred← citeshttps://doi.org/10.1109/tsc.2018.2789454openalex-snapshot
Web Service Interaction Modeling and Verification Using Recursive Composition Algebra
inferred← citeshttps://doi.org/10.1109/ubmyk48245.2019.8965650openalex-snapshot
Towards Uniform Modeling and Holistic Testing of Hardware and Software
inferred← citeshttps://doi.org/10.1145/2539150.2539188openalex-snapshot
An Industrial Experience on using Models to Test Web Service-Oriented Applications
inferred← citeshttps://doi.org/10.1145/3377811.3380350openalex-snapshot
Testing file system implementations on layered models
inferred← citeshttps://doi.org/10.1145/3580515openalex-snapshot
Improving Conformance of Web Services: A Constraint-based Model-driven Approach
inferred← citeshttps://doi.org/10.11606/t.55.2013.tde-20062013-140259openalex-snapshot
Model based testing of service oriented applications
inferred← citeshttps://doi.org/10.21608/ijci.2016.33950openalex-snapshot
Specification-based Test Cases Generation for Multi-Level Service Composition
inferred← citeshttps://doi.org/10.2991/ijndc.2017.5.3.4openalex-snapshot
Research on Service Recommendation Reliability in mobile computing
inferred← citeshttps://doi.org/10.35537/10915/45100openalex-snapshot
Implementación de procesos de negocio a través de servicios aplicando metamodelos, software distribuido y aspectos sociales
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.