On the public citation graph
Event-based modelling, analysis and testing of user interactions: approach and case study
0 signed · 135 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/spe.4380240203openalex-snapshot
A prototyping environment for specifying, executing and checking communicating real‐time state machines
inferredcites →https://doi.org/10.1002/stvr.264openalex-snapshot
Generating test data from state‐based specifications
inferredcites →https://doi.org/10.1007/978-0-387-35567-2_14openalex-snapshot
Test Generation Driven by User-Defined Fault Models
inferredcites →https://doi.org/10.1007/978-1-4615-4625-2openalex-snapshot
Experimentation in Software Engineering
inferredcites →https://doi.org/10.1007/978-1-4757-3540-6openalex-snapshot
Software Reliability Methods
inferredcites →https://doi.org/10.1007/s10270-002-0004-8openalex-snapshot
A UML-Based Approach to System Testing
inferredcites →https://doi.org/10.1016/0003-6870(93)90471-kopenalex-snapshot
Designing the user interface: Strategies for effective human-computer interaction
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/0169-7552(89)90004-4openalex-snapshot
Conformance testing: Architectures and test sequences
inferredcites →https://doi.org/10.1016/s0925-7535(01)00089-3openalex-snapshot
Design for safety in Safecharts with risk ordering of states
inferredcites →https://doi.org/10.1049/ip-sen:19990602openalex-snapshot
Test cases generation from UML state diagrams
inferredcites →https://doi.org/10.1109/26.111442openalex-snapshot
An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
inferredcites →https://doi.org/10.1109/26.156631openalex-snapshot
Protocol conformance testing using multiple UIO sequences
inferredcites →https://doi.org/10.1109/32.605761openalex-snapshot
The AETG system: an approach to testing based on combinatorial design
inferredcites →https://doi.org/10.1109/32.87278openalex-snapshot
Specification of fault-tolerant system issues by predicate/transition nets and regular expressions-approach and case study
inferredcites →https://doi.org/10.1109/32.908959openalex-snapshot
Hierarchical GUI test case generation using automated planning
inferredcites →https://doi.org/10.1109/32.910859openalex-snapshot
Interface Mutation: an approach for integration testing
inferredcites →https://doi.org/10.1109/32.979992openalex-snapshot
A test generation strategy for pairwise testing
inferredcites →https://doi.org/10.1109/c-m.1978.218136openalex-snapshot
Hints on Test Data Selection: Help for the Practicing Programmer
inferredcites →https://doi.org/10.1109/ftcs.1997.614080openalex-snapshot
A method to automate user interface testing using variable finite state machines
inferredcites →https://doi.org/10.1109/hase.2002.1173124openalex-snapshot
Enhancing system validation with behavioural types
inferredcites →https://doi.org/10.1109/icsm.2003.1235451openalex-snapshot
DART: a framework for regression testing "nightly/daily builds" of GUI applications
inferredcites →https://doi.org/10.1109/ieeestd.1990.101064openalex-snapshot
IEEE Standard Glossary of Software Engineering Terminology
inferredcites →https://doi.org/10.1109/issre.2000.885865openalex-snapshot
Generating test cases for GUI responsibilities using complete interaction sequences
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/issre.2001.989458openalex-snapshot
User-based testing of GUI sequences and their interactions
inferredcites →https://doi.org/10.1109/proc.1963.2548openalex-snapshot
Introduction to the theory of finite-state machines
inferredcites →https://doi.org/10.1109/tc.1982.1675879openalex-snapshot
Design for Testability—A Survey
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1109/tse.1986.6312975openalex-snapshot
Experimentation in software engineering
inferredcites →https://doi.org/10.1145/226295.226305openalex-snapshot
Predicting dependability by testing
inferredcites →https://doi.org/10.1145/226295.226319openalex-snapshot
Automated test data generation for programs with procedures
inferredcites →https://doi.org/10.1145/229000.226305openalex-snapshot
Predicting dependability by testing
inferredcites →https://doi.org/10.1145/229000.226319openalex-snapshot
Automated test data generation for programs with procedures
inferredcites →https://doi.org/10.1145/235321.235322openalex-snapshot
The STATEMATE semantics of statecharts
inferredcites →https://doi.org/10.1145/25065.950626openalex-snapshot
Designing the user interface strategies for effective human-computer interaction
inferredcites →https://doi.org/10.1145/267580.267590openalex-snapshot
Software unit test coverage and adequacy
inferredcites →https://doi.org/10.1145/318774.318939openalex-snapshot
Using model checking to generate tests from requirements specifications
inferredcites →https://doi.org/10.1145/355045.355050openalex-snapshot
Automated test oracles for GUIs
inferredcites →https://doi.org/10.1145/503209.503244openalex-snapshot
Coverage criteria for GUI testing
inferredcites →https://doi.org/10.1145/800195.805945openalex-snapshot
On the use of transition diagrams in the design of a user interface for an interactive computer system
inferredcites →https://doi.org/10.1145/800257openalex-snapshot
Proceedings of the 1964 19th ACM national conference on -
inferredcites →https://doi.org/10.1145/98163.98167openalex-snapshot
Implementing fault-tolerant services using the state machine approach: a tutorial
inferredcites →https://doi.org/10.1145/988584.988585openalex-snapshot
Graphical input interaction technique (GIIT)
inferredcites →https://doi.org/10.2307/2003459openalex-snapshot
Introduction to the Theory of Finite-State Machines
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.2161openalex-snapshot
A holistic approach to model‐based testing of Web service compositions
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.1007/11902140_110openalex-snapshot
Coverage-Based, Prioritized Testing Using Neural Network Clustering
inferred← citeshttps://doi.org/10.1007/978-3-319-09940-8_21openalex-snapshot
Pidgin Crasher: Searching for Minimised Crashing GUI Event Sequences
inferred← citeshttps://doi.org/10.1007/978-3-540-75294-3_8openalex-snapshot
Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_9openalex-snapshot
Model Driven Testing Based on Test History
inferred← citeshttps://doi.org/10.1007/978-3-642-04617-9_54openalex-snapshot
Model-Based Test Prioritizing – A Comparative Soft-Computing Approach and Case Studies
inferred← citeshttps://doi.org/10.1007/978-3-642-17578-7_14openalex-snapshot
Test Prioritization at Different Modeling Levels
inferred← citeshttps://doi.org/10.1007/978-3-642-17578-7_17openalex-snapshot
Model-Based Higher-Order Mutation Analysis
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/s11219-018-9439-1openalex-snapshot
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
inferred← citeshttps://doi.org/10.1007/s11219-021-09575-wopenalex-snapshot
Model-based testing leveraged for automated web tests
inferred← citeshttps://doi.org/10.1007/s11761-010-0056-5openalex-snapshot
Event-driven modeling and testing of real-time web services
inferred← citeshttps://doi.org/10.1016/b978-0-12-396526-4.00002-3openalex-snapshot
Model-Based GUI Testing
inferred← citeshttps://doi.org/10.1016/b978-0-12-396526-4.00006-0openalex-snapshot
Event-Oriented, Model-Based GUI Testing and Reliability Assessment—Approach and Case Study
inferred← citeshttps://doi.org/10.1016/b978-0-12-396535-6.00001-6openalex-snapshot
Model-Based Testing: Achievements and Future Challenges
inferred← citeshttps://doi.org/10.1016/b978-0-12-396535-6.00006-5openalex-snapshot
Trends in Model-based GUI Testing
inferred← citeshttps://doi.org/10.1016/b978-0-12-408094-2.00001-1openalex-snapshot
Testing Android Mobile Applications: Challenges, Strategies, and Approaches
inferred← citeshttps://doi.org/10.1016/bs.adcom.2016.12.004openalex-snapshot
Fault Localization Using Hybrid Static/Dynamic Analysis
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.06.004openalex-snapshot
Advances in Model-Based Testing of Graphical User Interfaces
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.07.001openalex-snapshot
Advances in Testing Software Product Lines
inferred← citeshttps://doi.org/10.1016/j.csi.2017.08.002openalex-snapshot
Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.05.002openalex-snapshot
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications
inferred← citeshttps://doi.org/10.1016/j.infsof.2015.07.003openalex-snapshot
Event-driven web application testing based on model-based mutation testing
inferred← citeshttps://doi.org/10.1016/j.jss.2026.113012openalex-snapshot
Evolutionary variant selection to reduce redundancy in behavioral-aware SPL testing
inferred← citeshttps://doi.org/10.1016/j.procs.2015.03.032openalex-snapshot
Simulation Approaches for System of Systems: Events-based versus Agent Based Modeling
inferred← citeshttps://doi.org/10.1016/j.scico.2016.01.003openalex-snapshot
Model-based mutation testing—Approach and case studies
inferred← citeshttps://doi.org/10.1016/s0065-2458(10)80003-8openalex-snapshot
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End
inferred← citeshttps://doi.org/10.1049/iet-sen.2016.0173openalex-snapshot
PLATEM: a method for mobile applications testing
inferred← citeshttps://doi.org/10.1049/iet-sen.2018.5445openalex-snapshot
Automated tests for cross‐platform mobile apps in multiple configurations
inferred← citeshttps://doi.org/10.1109/access.2018.2829466openalex-snapshot
Hand Jitter Reduction Algorithm Software Test Automation Using Robotic Arm
inferred← citeshttps://doi.org/10.1109/access.2023.3234186openalex-snapshot
Incremental Testing in Software Product Lines—An Event Based Approach
inferred← citeshttps://doi.org/10.1109/access.2023.3323591openalex-snapshot
Link Prediction for Completing Graphical Software Models Using Neural Networks
inferred← citeshttps://doi.org/10.1109/cloudcom.2012.6427576openalex-snapshot
Automatic SaaS test cases generation based on SOA in the cloud service
inferred← citeshttps://doi.org/10.1109/compsac.2007.169openalex-snapshot
Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study
inferred← citeshttps://doi.org/10.1109/compsac.2008.144openalex-snapshot
Event-Driven Modeling and Testing of Web Services
inferred← citeshttps://doi.org/10.1109/compsac.2011.17openalex-snapshot
Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability
inferred← citeshttps://doi.org/10.1109/compsac.2019.00035openalex-snapshot
Featured Event Sequence Graphs for Model-Based Incremental Testing of Software Product Lines
inferred← citeshttps://doi.org/10.1109/dsa52907.2021.00035openalex-snapshot
Behavior-Driven Development of Software Product Lines
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/iciw.2010.67openalex-snapshot
An Iterative Approach for the Reverse Engineering of Rich Internet Application User Interfaces
inferred← citeshttps://doi.org/10.1109/icse-companion.2009.5070969openalex-snapshot
Automatic GUI test generation for smartphone applications - an evaluation
inferred← citeshttps://doi.org/10.1109/icsm.2009.5306391openalex-snapshot
Experimenting a reverse engineering technique for modelling the behaviour of rich internet applications
inferred← citeshttps://doi.org/10.1109/icst.2010.51openalex-snapshot
Fault Detection Likelihood of Test Sequence Length
inferred← citeshttps://doi.org/10.1109/icstw.2009.19openalex-snapshot
Structural Feature Extraction for GUI Test Enhancement
inferred← citeshttps://doi.org/10.1109/icstw.2009.21openalex-snapshot
Testing Composite Web Services--An Event-Based Approach
inferred← citeshttps://doi.org/10.1109/icstw.2010.34openalex-snapshot
Rich Internet Application Testing Using Execution Trace Data
inferred← citeshttps://doi.org/10.1109/icstw.2011.59openalex-snapshot
Event-Based GUI Testing and Reliability Assessment Techniques -- An Experimental Insight and Preliminary Results
inferred← citeshttps://doi.org/10.1109/icstw.2011.77openalex-snapshot
A GUI Crawling-Based Technique for Android Mobile Application Testing
inferred← citeshttps://doi.org/10.1109/issre.2012.33openalex-snapshot
AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs
inferred← citeshttps://doi.org/10.1109/mutation.2006.2openalex-snapshot
Basic Operations for Generating Behavioral Mutants
inferred← citeshttps://doi.org/10.1109/qrs-c.2018.00102openalex-snapshot
Event Sequence Graph-Based Feature-Oriented Testing: A Preliminary Study
inferred← citeshttps://doi.org/10.1109/qrs-c55045.2021.00162openalex-snapshot
Heterogeneous Modeling and Testing of Software Product Lines
inferred← citeshttps://doi.org/10.1109/sere-c.2012.25openalex-snapshot
Cost Reduction through Combining Test Sequences with Input Data
inferred← citeshttps://doi.org/10.1109/sose.2011.6139107openalex-snapshot
Model-based testing of web service compositions
inferred← citeshttps://doi.org/10.1109/ssiri-c.2010.24openalex-snapshot
Event- and Coverage-Based Testing of Web Services
inferred← citeshttps://doi.org/10.1109/ssiri-c.2010.26openalex-snapshot
Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis
inferred← citeshttps://doi.org/10.1109/ssiri.2009.40openalex-snapshot
A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation
inferred← citeshttps://doi.org/10.1109/ssiri.2009.50openalex-snapshot
Communication Sequence Graphs for Mutation-Oriented Integration Testing
inferred← citeshttps://doi.org/10.1109/ssiri.2010.14openalex-snapshot
Towards Scalable Robustness Testing
inferred← citeshttps://doi.org/10.1109/tse.2009.68openalex-snapshot
Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback
inferred← citeshttps://doi.org/10.1109/tse.2014.2300857openalex-snapshot
An Observe-Model-Exercise* Paradigm to Test Event-Driven Systems with Undetermined Input Spaces
inferred← citeshttps://doi.org/10.1109/wcre.2008.17openalex-snapshot
Reverse Engineering Finite State Machines from Rich Internet Applications
inferred← citeshttps://doi.org/10.1142/s021819401100561xopenalex-snapshot
DERIVING SYSTEM COMPLEXITY METRIC FROM EVENTS AND ITS VALIDATION
inferred← citeshttps://doi.org/10.1142/s0218194016500091openalex-snapshot
Input Contract Testing of Graphical User Interfaces
inferred← citeshttps://doi.org/10.1142/s021819402350050xopenalex-snapshot
Unifying Behavioral and Feature Modeling for Testing of Software Product Lines
inferred← citeshttps://doi.org/10.1145/1363686.1363856openalex-snapshot
Test generation and minimization with "basic" statecharts
inferred← citeshttps://doi.org/10.1145/1810295.1810352openalex-snapshot
Runtime repair of software faults using event-driven monitoring
inferred← citeshttps://doi.org/10.1145/2351676.2351717openalex-snapshot
Using GUI ripping for automated testing of Android applications
inferred← citeshttps://doi.org/10.1145/2647908.2655968openalex-snapshot
Towards the assessment of software product line tests
inferred← citeshttps://doi.org/10.1145/3131151.3131160openalex-snapshot
Reuse of model-based tests in mobile apps
inferred← citeshttps://doi.org/10.1145/3266003.3266012openalex-snapshot
Evaluating the Impact of Different Testers on Model-based Testing
inferred← citeshttps://doi.org/10.1145/3698062.3698094openalex-snapshot
A Data-Driven Approach to Understanding Online Service Access and Technological Energy Injustice Among Minority Ethnic Communities
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.1371/journal.pone.0212476openalex-snapshot
A metamorphic testing approach for event sequences
inferred← citeshttps://doi.org/10.35860/iarej.1135989openalex-snapshot
A new approach to event- and model-based feature-driven software testing and comparison with similar approaches
inferred← citeshttps://doi.org/10.3745/jips.2012.8.2.213openalex-snapshot
A Novel Approach for Deriving Test Scenarios and Test Cases from Events
inferred← citeshttps://doi.org/10.3906/elk-1209-109openalex-snapshot
Model-based test case prioritization using cluster analysis: a soft-computing approach
inferred← citeshttps://doi.org/10.4018/978-1-4666-9916-8.ch010openalex-snapshot
Usability Software Engineering Testing Experimentation for Android-Based Web Applications
inferred← citeshttps://doi.org/10.4018/ijismd.332865openalex-snapshot
Automatic Test Sequence Generation and Functional Coverage Measurement From UML Sequence Diagrams
inferred← citeshttps://doi.org/10.4204/eptcs.180.4openalex-snapshot
Potential Errors and Test Assessment in Software Product Line Engineering
inferred← citeshttps://doi.org/10.53846/goediss-2535openalex-snapshot
Usage-based Testing of Event-driven Software
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.