On the public citation graph
Generating test data from state‐based specifications
0 signed · 338 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)1099-1689(199703)7:1<19::aid-stvr124>3.0.co;2-nopenalex-snapshot
Testing from a Z Specification
inferredcites →https://doi.org/10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.0.co;2-bopenalex-snapshot
Testing refinements of state-based formal specifications
inferredcites →https://doi.org/10.1002/1099-1689(200006)10:2<111::aid-stvr204>3.0.co;2-popenalex-snapshot
From Object-Z specifications to ClassBench test suites
inferredcites →https://doi.org/10.1002/j.2161-4296.1947.tb01140.xopenalex-snapshot
RADIO TECHNICAL COMMISSION FOR AERONAUTICS*
inferredcites →https://doi.org/10.1002/stvr.4370010107openalex-snapshot
An exercise in weakest preconditions
inferredcites →https://doi.org/10.1002/stvr.4370020104openalex-snapshot
Formal specification and testing: A case study
inferredcites →https://doi.org/10.1007/3540539816_63openalex-snapshot
Testing against formal specifications: A theoretical view
inferredcites →https://doi.org/10.1007/bfb0024651openalex-snapshot
Automating the generation and sequencing of test cases from model-based specifications
inferredcites →https://doi.org/10.1016/0096-0551(92)90024-hopenalex-snapshot
Specification and testing of abstract data types
inferredcites →https://doi.org/10.1016/0164-1212(86)90004-xopenalex-snapshot
Test sets generation from algebraic specifications using logic programming
inferredcites →https://doi.org/10.1016/s0164-1212(99)00066-7openalex-snapshot
Generating test data from SOFL specifications
inferredcites →https://doi.org/10.1049/sej.1991.0040openalex-snapshot
Software testing based on formal specifications: a theory and a tool
inferredcites →https://doi.org/10.1049/sej.1994.0025openalex-snapshot
Applicability of modified condition/decision coverage to software testing
inferredcites →https://doi.org/10.1109/32.210305openalex-snapshot
State-based model checking of event-driven system requirements
inferredcites →https://doi.org/10.1109/32.286420openalex-snapshot
Automatically generating test data from a Boolean specification
inferredcites →https://doi.org/10.1109/32.48939openalex-snapshot
Automated test case generation for programs specified by relational algebra queries
inferredcites →https://doi.org/10.1109/32.553698openalex-snapshot
A framework for specification-based testing
inferredcites →https://doi.org/10.1109/32.6194openalex-snapshot
An applicable family of data flow testing criteria
inferredcites →https://doi.org/10.1109/32.663996openalex-snapshot
SOFL: a formal engineering methodology for industrial applications
inferredcites →https://doi.org/10.1109/32.87284openalex-snapshot
Test selection based on finite state models
inferredcites →https://doi.org/10.1109/32.92910openalex-snapshot
Constraint-based automatic test data generation
inferredcites →https://doi.org/10.1109/52.156894openalex-snapshot
The Core method for real-time requirements
inferredcites →https://doi.org/10.1109/aqsdt.1992.205829openalex-snapshot
A data flow coverage testing tool for C
inferredcites →https://doi.org/10.1109/cmpass.1992.235766openalex-snapshot
Using Z specifications in category partition testing
inferredcites →https://doi.org/10.1109/cmpass.1994.318466openalex-snapshot
Using formal methods to derive test frames in category-partition testing
inferredcites →https://doi.org/10.1109/cmpass.1996.507891openalex-snapshot
T-VEC: a tool for developing critical systems
inferredcites →https://doi.org/10.1109/cmpass.1997.613206openalex-snapshot
Tools for formal specification, verification, and validation of requirements
inferredcites →https://doi.org/10.1109/cmpsac.1994.342800openalex-snapshot
Constructing an automated testing oracle: an effort to produce reliable software
inferredcites →https://doi.org/10.1109/cmpsac.1995.524786openalex-snapshot
A test strategy for object-oriented programs
inferredcites →https://doi.org/10.1109/hase.1999.809499openalex-snapshot
A specification-based coverage metric to evaluate test sets
inferredcites →https://doi.org/10.1109/iceccs.1996.558533openalex-snapshot
Deriving mode invariants from SCR specifications
inferredcites →https://doi.org/10.1109/icfem.1998.730569openalex-snapshot
Using model checking to generate tests from specifications
inferredcites →https://doi.org/10.1109/icse.1993.346025openalex-snapshot
Test templates: a specification-based testing framework
inferredcites →https://doi.org/10.1109/icsm.1993.366932openalex-snapshot
The state-based testing of object-oriented programs
inferredcites →https://doi.org/10.1109/issre.1995.497672openalex-snapshot
An approach to automatic detection of software failures
inferredcites →https://doi.org/10.1109/issre.1996.558672openalex-snapshot
Automatic failure detection with Conditional-Belief supervisors
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.1980.230208openalex-snapshot
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
inferredcites →https://doi.org/10.1109/tse.1985.231535openalex-snapshot
Testing Formal Specifications to Detect Design Errors
inferredcites →https://doi.org/10.1109/tse.1986.6312926openalex-snapshot
Specification directed module testing
inferredcites →https://doi.org/10.1109/wst.1988.5369openalex-snapshot
An extended overview of the Mothra software testing environment
inferredcites →https://doi.org/10.1145/120807.120822openalex-snapshot
Case studies on testing object-oriented programs
inferredcites →https://doi.org/10.1145/226295.226302openalex-snapshot
Structural specification-based testing with ADL
inferredcites →https://doi.org/10.1145/229000.226302openalex-snapshot
Structural specification-based testing with ADL
inferredcites →https://doi.org/10.1145/322993.322996openalex-snapshot
Fault classes and error detection capability of specification-based testing
inferredcites →https://doi.org/10.1145/357139.357140openalex-snapshot
Data Abstraction, Implementation, Specification, and Testing
inferredcites →https://doi.org/10.1145/505863.505884openalex-snapshot
Testing object-oriented systems
inferredcites →https://doi.org/10.1145/75308.75332openalex-snapshot
Automatic generation of test scripts from formal test specifications
inferredcites →https://doi.org/10.2495/sqm940362openalex-snapshot
Generation Of Software Tests From Specifications
inferredcites →https://doi.org/10.5555/257572.257664openalex-snapshot
Test templates: a specification-based testing framework
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.2851openalex-snapshot
Evaluating the effectiveness of the abstract transaction model in testing Web services transactions
inferred← citeshttps://doi.org/10.1002/smr.2273openalex-snapshot
Automated generation of oracled test cases with regular expressions and combinatorial techniques
inferred← citeshttps://doi.org/10.1002/spe.1075openalex-snapshot
Agile methods for open source safety‐critical software
inferred← citeshttps://doi.org/10.1002/spe.2278openalex-snapshot
A dynamic stochastic model for automatic grammar‐based test generation
inferred← citeshttps://doi.org/10.1002/stvr.1479openalex-snapshot
A practical model‐based statistical approach for generating functional test cases: application in the automotive industry
inferred← citeshttps://doi.org/10.1002/stvr.1593openalex-snapshot
Behaviour abstraction adequacy criteria for API call protocol testing
inferred← citeshttps://doi.org/10.1002/stvr.1843openalex-snapshot
On subsumption relationships in data flow testing
inferred← citeshttps://doi.org/10.1002/stvr.1906openalex-snapshot
Search‐Based MC/DC Test Data Generation With OCL Constraints
inferred← citeshttps://doi.org/10.1002/stvr.287openalex-snapshot
Controlling test case explosion in test generation from B formal models
inferred← citeshttps://doi.org/10.1002/stvr.335openalex-snapshot
Event-based modelling, analysis and testing of user interactions: approach and case study
inferred← citeshttps://doi.org/10.1002/stvr.340openalex-snapshot
Integration testing of object‐oriented components using finite state machines
inferred← citeshttps://doi.org/10.1002/stvr.348openalex-snapshot
Integrating techniques and tools for testing automation
inferred← citeshttps://doi.org/10.1002/stvr.389openalex-snapshot
Automatic instantiation of abstract tests on specific configurations for large critical control systems
inferred← citeshttps://doi.org/10.1002/stvr.407openalex-snapshot
System testing for object‐oriented systems with test case prioritization
inferred← citeshttps://doi.org/10.1002/stvr.410openalex-snapshot
Improving the coverage criteria of UML state machines using data flow analysis
inferred← citeshttps://doi.org/10.1002/stvr.424openalex-snapshot
Full predicate coverage for testing SQL database queries
inferred← citeshttps://doi.org/10.1002/stvr.440openalex-snapshot
Testing aspect‐oriented programs with finite state machines
inferred← citeshttps://doi.org/10.1002/stvr.444openalex-snapshot
Efficient coverage of parallel and hierarchical stateflow models for test case generation
inferred← citeshttps://doi.org/10.1002/stvr.456openalex-snapshot
A taxonomy of model‐based testing approaches
inferred← citeshttps://doi.org/10.1007/11504894_41openalex-snapshot
Towards Minimization of Test Sets for Human-Computer Systems
inferred← citeshttps://doi.org/10.1007/11504894_45openalex-snapshot
A Holistic Approach to Test-Driven Model Checking
inferred← citeshttps://doi.org/10.1007/978-0-387-70802-7_36openalex-snapshot
Derivation of Test Objectives Automatically
inferred← citeshttps://doi.org/10.1007/978-1-4020-6268-1_74openalex-snapshot
Dealing with Concurrent Regions during Scenario Generation from Activity Diagrams
inferred← citeshttps://doi.org/10.1007/978-1-4614-7535-4_2openalex-snapshot
A Generic Framework for Testing the Web Services Transactions
inferred← citeshttps://doi.org/10.1007/978-3-030-27455-9_8openalex-snapshot
A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints
inferred← citeshttps://doi.org/10.1007/978-3-030-79186-5_20openalex-snapshot
Towards Measuring Test Coverage of Attack Simulations
inferred← citeshttps://doi.org/10.1007/978-3-032-07106-4_8openalex-snapshot
Bounded-Exhaustive Subspace Diversification for SMT Solver Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-10082-1_1openalex-snapshot
Model-Based Testing for Functional and Security Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-319-21215-9_4openalex-snapshot
Case Study: Automatic Test Case Generation for a Secure Cache Implementation
inferred← citeshttps://doi.org/10.1007/978-3-319-24584-3_12openalex-snapshot
Automatic Test Case Generation from UML State Chart Diagram: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-319-30243-0_1openalex-snapshot
On Generating Test Cases from EDT Specifications
inferred← citeshttps://doi.org/10.1007/978-3-319-92997-2_10openalex-snapshot
Property-Aware Unit Testing of UML-RT Models in the Context of MDE
inferred← citeshttps://doi.org/10.1007/978-3-319-99130-6_9openalex-snapshot
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
inferred← citeshttps://doi.org/10.1007/978-3-540-30182-0_91openalex-snapshot
Software Testing via Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-30480-7_20openalex-snapshot
AutoDBT: A Framework for Automatic Testing of Web Database Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_17openalex-snapshot
Minimal Spanning Set for Coverage Testing of Interactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-31862-0_18openalex-snapshot
An Approach to Integration Testing Based on Data Flow Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-39929-2_3openalex-snapshot
Applying Extended Finite State Machines in Software Testing of Interactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-45221-8_22openalex-snapshot
Towards Automated Support for Deriving Test Data from UML Statecharts
inferred← citeshttps://doi.org/10.1007/978-3-540-73230-3_5openalex-snapshot
On Detecting Double Literal Faults in Boolean Expressions
inferred← citeshttps://doi.org/10.1007/978-3-540-75101-4_27openalex-snapshot
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-76650-6_9openalex-snapshot
Integrating Specification-Based Review and Testing for Detecting Errors in Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_4openalex-snapshot
Coverage Criteria for State Based Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-87403-4_11openalex-snapshot
Leveraging User Interactions for In-Depth Testing of Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_6openalex-snapshot
Conformance Testing Based on UML State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-10242-4_10openalex-snapshot
Application of Formal Concept Analysis in Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-15643-4_16openalex-snapshot
An Approach for Class Testing from Class Contracts
inferred← citeshttps://doi.org/10.1007/978-3-642-19896-0_5openalex-snapshot
ASAP: Automatic Semantics-Aware Analysis of Network Payloads
inferred← citeshttps://doi.org/10.1007/978-3-642-20998-7_54openalex-snapshot
Test Case Generation for Formal Concept Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-28879-1_19openalex-snapshot
Network Securing against Threatening Requests
inferred← citeshttps://doi.org/10.1007/978-3-642-29958-2_18openalex-snapshot
Model Based Testing in Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-33448-1_6openalex-snapshot
A Robustness Testing Method for Network Security
inferred← citeshttps://doi.org/10.1007/978-3-642-34531-9_16openalex-snapshot
Adaptive Random Testing Through Dynamic Partitioning by Localization with Restriction and Enlarged Input Domain
inferred← citeshttps://doi.org/10.1007/978-3-642-35473-1_64openalex-snapshot
An Editing System Converting a UML State Diagram to a PLC Program
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_2openalex-snapshot
Automatic Grammar-Based Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-45065-5_19openalex-snapshot
Testing Idempotence for Infrastructure as Code
inferred← citeshttps://doi.org/10.1007/978-81-322-0740-5_33openalex-snapshot
Automatic Test Case Generation Using Sequence Diagram
inferred← citeshttps://doi.org/10.1007/978-981-15-5971-6_39openalex-snapshot
Asynchronous Testing in Web Applications
inferred← citeshttps://doi.org/10.1007/s00500-021-06476-9openalex-snapshot
Using Bayesian optimization algorithm for model-based integration testing
inferred← citeshttps://doi.org/10.1007/s10009-013-0291-0openalex-snapshot
A systematic review of state-based test tools
inferred← citeshttps://doi.org/10.1007/s10009-014-0316-3openalex-snapshot
Model-based test generation using extended symbolic grammars
inferred← citeshttps://doi.org/10.1007/s10270-004-0077-7openalex-snapshot
Testing Web applications by modeling with FSMs
inferred← citeshttps://doi.org/10.1007/s10270-009-0125-4openalex-snapshot
Modeling presentation layers of web applications for testing
inferred← citeshttps://doi.org/10.1007/s10270-022-01042-9openalex-snapshot
Measuring and achieving test coverage of attack simulations extended version
inferred← citeshttps://doi.org/10.1007/s10489-006-0008-0openalex-snapshot
Test minimization for human-computer interaction
inferred← citeshttps://doi.org/10.1007/s10515-009-0057-9openalex-snapshot
Estimating the feasibility of transition paths in extended finite state machines
inferred← citeshttps://doi.org/10.1007/s11219-021-09560-3openalex-snapshot
Test input generation from cause–effect graphs
inferred← citeshttps://doi.org/10.1007/s11741-006-0101-yopenalex-snapshot
An approach to formalizing specification-based class testing
inferred← citeshttps://doi.org/10.1007/s11741-011-0760-3openalex-snapshot
Generating test case specifications of web service composition using model checking
inferred← citeshttps://doi.org/10.1016/b978-0-12-396525-7.00002-2openalex-snapshot
Modeling, Analysis, and Testing of System Vulnerabilities
inferred← citeshttps://doi.org/10.1016/bs.adcom.2017.06.001openalex-snapshot
Uncertainty-Wise Testing of Cyber-Physical Systems
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.anucene.2012.02.001openalex-snapshot
Validation test case generation based on safety analysis ontology
inferred← citeshttps://doi.org/10.1016/j.camwa.2008.10.034openalex-snapshot
Evolutionary generation of unique input/output sequences for class behavioral testing
inferred← citeshttps://doi.org/10.1016/j.cl.2016.01.006openalex-snapshot
A semantic approach for automated test oracle generation
inferred← citeshttps://doi.org/10.1016/j.cose.2013.01.005openalex-snapshot
Validation of security protocol implementations from security objectives
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.12.011openalex-snapshot
Handling State-Machines Specifications with GATeL
inferred← citeshttps://doi.org/10.1016/j.infsof.2005.05.003openalex-snapshot
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.03.003openalex-snapshot
A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques
inferred← citeshttps://doi.org/10.1016/j.infsof.2006.11.002openalex-snapshot
A state-based approach to integration testing based on UML models
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.002openalex-snapshot
Automatic generation of test specifications for coverage of system state transitions
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.016openalex-snapshot
Building test cases and oracles to automate the testing of web database applications
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.06.002openalex-snapshot
Scalability issues with using FSMWeb to test web applications
inferred← citeshttps://doi.org/10.1016/j.infsof.2011.03.009openalex-snapshot
A logic mutation approach to selective mutation for programs and queries
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.02.004openalex-snapshot
Mutation based test case generation via a path selection strategy
inferred← citeshttps://doi.org/10.1016/j.infsof.2012.08.009openalex-snapshot
Automated generation of test oracles using a model-driven approach
inferred← citeshttps://doi.org/10.1016/j.infsof.2014.02.011openalex-snapshot
Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case study
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.jksuci.2019.05.005openalex-snapshot
Transition coverage based test case generation from state chart diagram
inferred← citeshttps://doi.org/10.1016/j.jksuci.2023.101563openalex-snapshot
Augmenting a round-trip path test suite to cover all event-pairs for testing more diverse usage scenarios
inferred← citeshttps://doi.org/10.1016/j.jss.2005.05.030openalex-snapshot
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions
inferred← citeshttps://doi.org/10.1016/j.jss.2005.08.016openalex-snapshot
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
inferred← citeshttps://doi.org/10.1016/j.jss.2017.07.040openalex-snapshot
A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems
inferred← citeshttps://doi.org/10.1016/j.jss.2019.03.011openalex-snapshot
Uncertainty-wise test case generation and minimization for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110478openalex-snapshot
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
inferred← citeshttps://doi.org/10.1016/j.procir.2014.10.043openalex-snapshot
Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard
inferred← citeshttps://doi.org/10.1049/iet-sen:20060061openalex-snapshot
Automatic test case generation using unified modeling language (UML) state diagrams
inferred← citeshttps://doi.org/10.1063/1.5005458openalex-snapshot
Coverage criteria for test case generation using UML state chart diagram
inferred← citeshttps://doi.org/10.1080/1206212x.2010.11441983openalex-snapshot
State-Based Approach to System Testing
inferred← citeshttps://doi.org/10.1080/1206212x.2017.1408982openalex-snapshot
From state diagrams to sequence diagrams: a requirements acquisition approach
inferred← citeshttps://doi.org/10.1088/1742-6596/2007/1/012060openalex-snapshot
Case Study for Regression Testing using Genetic Algorithm
inferred← citeshttps://doi.org/10.1093/comjnl/bxr125openalex-snapshot
Controllability Problems in MSC-Based Testing
inferred← citeshttps://doi.org/10.1109/access.2023.3282176openalex-snapshot
Survey of Model-Based Security Testing Approaches in the Automotive Domain
inferred← citeshttps://doi.org/10.1109/acsat.2012.55openalex-snapshot
Dynamic Fault Visualization Tool for Fault-based Testing and Prioritization
inferred← citeshttps://doi.org/10.1109/aiccsa.2007.370859openalex-snapshot
An Approach for Specification-based Test Case Generation for Web Services
inferred← citeshttps://doi.org/10.1109/anthology.2013.6784912openalex-snapshot
An automatic testing framework applied on LIW and its implementation
inferred← citeshttps://doi.org/10.1109/apsec.2004.17openalex-snapshot
Adaptive Random Testing by Localization
inferred← citeshttps://doi.org/10.1109/apsec.2004.20openalex-snapshot
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
inferred← citeshttps://doi.org/10.1109/apsec.2009.58openalex-snapshot
Checking Model Consistency Using Data-Flow Testing
inferred← citeshttps://doi.org/10.1109/apsec.2011.26openalex-snapshot
Conformance Testing for OSEK/VDX Operating System Using Model Checking
inferred← citeshttps://doi.org/10.1109/asea.2008.27openalex-snapshot
Model-Based Test Suite Reduction with Concept Lattice
inferred← citeshttps://doi.org/10.1109/ast.2015.13openalex-snapshot
Adaptive Random Testing by Static Partitioning
inferred← citeshttps://doi.org/10.1109/aswec.2014.19openalex-snapshot
Fail-Safe Testing of Safety-Critical Systems
inferred← citeshttps://doi.org/10.1109/ats.2010.21openalex-snapshot
A New Approach to Generating High Quality Test Cases
inferred← citeshttps://doi.org/10.1109/autest.2017.8080476openalex-snapshot
A system to automatically generate test program sets
inferred← citeshttps://doi.org/10.1109/bmei.2008.332openalex-snapshot
A Method Combining Review and Testing for Verifying Software Systems
inferred← citeshttps://doi.org/10.1109/cis.2011.131openalex-snapshot
Model Composition and Generating Tests for Web Applications
inferred← citeshttps://doi.org/10.1109/cise.2009.5365558openalex-snapshot
On Test Case Generation for Interactive Software
inferred← citeshttps://doi.org/10.1109/cnsi.2011.49openalex-snapshot
Generation of Test Cases for Concurrent Software Systems Based on Data-Flow-Oriented Specifications
inferred← citeshttps://doi.org/10.1109/compsac.2005.158openalex-snapshot
Towards Self-Testing of Component-Based Software
inferred← citeshttps://doi.org/10.1109/compsac.2008.5openalex-snapshot
Superfit Combinational Elusive Bug Detection
inferred← citeshttps://doi.org/10.1109/csae.2011.5952532openalex-snapshot
Transition-based testability analysis for reactive systems
inferred← citeshttps://doi.org/10.1109/csnt.2014.201openalex-snapshot
Test Case Generation for Object-Oriented Systems: A Review
inferred← citeshttps://doi.org/10.1109/csse.2008.700openalex-snapshot
An Approach to Transforming UML Model to FSM Model for Automatic Testing
inferred← citeshttps://doi.org/10.1109/esem.2007.22openalex-snapshot
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
inferred← citeshttps://doi.org/10.1109/esem.2007.24openalex-snapshot
Evaluating the Impact of Adaptive Maintenance Process on Open Source Software Quality
inferred← citeshttps://doi.org/10.1109/hase.2005.27openalex-snapshot
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels
inferred← citeshttps://doi.org/10.1109/icacci.2013.6637169openalex-snapshot
An approach for reduced test path set selection
inferred← citeshttps://doi.org/10.1109/iccct.2012.34openalex-snapshot
Test Case Generation from UML State Machine Diagram: A Survey
inferred← citeshttps://doi.org/10.1109/iccic.2015.7435786openalex-snapshot
ER diagram based web application testing
inferred← citeshttps://doi.org/10.1109/iccsdet.2018.8821107openalex-snapshot
Functionality Testing of Object-Oriented Software Using UML State Machine Diagram
inferred← citeshttps://doi.org/10.1109/iceccs.2005.44openalex-snapshot
Extracting FSMs from Object-Z specifications with history invariants
inferred← citeshttps://doi.org/10.1109/iceccs.2005.71openalex-snapshot
Regression Testing of Classes Based on TCOZ Specification
inferred← citeshttps://doi.org/10.1109/icet.2008.4777514openalex-snapshot
Automated model based software Test Data Generation System
inferred← citeshttps://doi.org/10.1109/icet.2010.5638471openalex-snapshot
Automated generation of finite state machine from object-oriented formal specifications
inferred← citeshttps://doi.org/10.1109/icicict.2014.6781358openalex-snapshot
State based test case generation using VCL-GA
inferred← citeshttps://doi.org/10.1109/icise.2009.965openalex-snapshot
Research on Method of Object-Oriented Test Cases Generation Based on UML and LTS
inferred← citeshttps://doi.org/10.1109/icoia.2013.6650281openalex-snapshot
Requirements based testing of software
inferred← citeshttps://doi.org/10.1109/icraie47735.2019.9037786openalex-snapshot
A Review on Test Case Generation Methods Using UML Statechart
inferred← citeshttps://doi.org/10.1109/icst.2008.32openalex-snapshot
Functional Search-based Testing from State Machines
inferred← citeshttps://doi.org/10.1109/icst.2008.48openalex-snapshot
Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation
inferred← citeshttps://doi.org/10.1109/icst.2008.53openalex-snapshot
Test Data Provision for ERP Systems
inferred← citeshttps://doi.org/10.1109/icst.2011.64openalex-snapshot
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems
inferred← citeshttps://doi.org/10.1109/icst.2012.147openalex-snapshot
Combinatorial Methods for Event Sequence Testing
inferred← citeshttps://doi.org/10.1109/icst.2013.22openalex-snapshot
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria
inferred← citeshttps://doi.org/10.1109/icstw.2009.14openalex-snapshot
Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution
inferred← citeshttps://doi.org/10.1109/icstw.2009.30openalex-snapshot
An Experimental Comparison of Four Unit Test Criteria: Mutation, Edge-Pair, All-Uses and Prime Path Coverage
inferred← citeshttps://doi.org/10.1109/icstw.2015.7107402openalex-snapshot
A test automation language framework for behavioral models
inferred← citeshttps://doi.org/10.1109/icstw.2015.7107406openalex-snapshot
Covering both stack and states while testing push-down systems
inferred← citeshttps://doi.org/10.1109/icstw.2016.11openalex-snapshot
Test Oracles and Test Script Generation in Combinatorial Testing
inferred← citeshttps://doi.org/10.1109/icstw52544.2021.00040openalex-snapshot
Test Sequence Generation with Cayley Graphs
inferred← citeshttps://doi.org/10.1109/icut.2009.5405725openalex-snapshot
An Incremental Approach for Model-Based Test Suite Reduction Using Formal Concept Analysis
inferred← citeshttps://doi.org/10.1109/ieec.2010.5533237openalex-snapshot
Generating Test Cases Using Colored Petri Net
inferred← citeshttps://doi.org/10.1109/iri.2012.6302985openalex-snapshot
Generating test cases via model-based simulation
inferred← citeshttps://doi.org/10.1109/isecs.2009.152openalex-snapshot
Generating Test Case from Functional Requirement of Web Applications
inferred← citeshttps://doi.org/10.1109/issre.2003.1251034openalex-snapshot
Coverage criteria for logical expressions
inferred← citeshttps://doi.org/10.1109/issre.2004.12openalex-snapshot
Boundary Coverage Criteria for Test Generation from Formal Models
inferred← citeshttps://doi.org/10.1109/issre.2004.28openalex-snapshot
Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications
inferred← citeshttps://doi.org/10.1109/issre.2005.15openalex-snapshot
Covering Transitions of Concurrent Systems through Queues
inferred← citeshttps://doi.org/10.1109/issre.2005.24openalex-snapshot
Improving Statechart Testing Criteria Using Data Flow Information
inferred← citeshttps://doi.org/10.1109/issre.2008.33openalex-snapshot
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System
inferred← citeshttps://doi.org/10.1109/issre.2010.39openalex-snapshot
On the Round Trip Path Testing Strategy
inferred← citeshttps://doi.org/10.1109/itict.2005.1609627openalex-snapshot
Generating Unit Test Sequences for Aspect-Oriented Programs: Towards a Formal Approach Using UML State Diagrams
inferred← citeshttps://doi.org/10.1109/itng.2009.85openalex-snapshot
Declarative Testing: A Paradigm for Testing Software Applications
inferred← citeshttps://doi.org/10.1109/itsim.2010.5561488openalex-snapshot
Automatic programming assessment and test data generation a review on its approaches
inferred← citeshttps://doi.org/10.1109/jsyst.2012.2223532openalex-snapshot
Security and Robustness by Protocol Testing
inferred← citeshttps://doi.org/10.1109/kbei.2017.8324934openalex-snapshot
State-based models in model-based testing: A systematic review
inferred← citeshttps://doi.org/10.1109/mutation.2006.2openalex-snapshot
Basic Operations for Generating Behavioral Mutants
inferred← citeshttps://doi.org/10.1109/mysec.2014.6985993openalex-snapshot
Test data generation framework for Automatic Programming Assessment
inferred← citeshttps://doi.org/10.1109/qsic.2003.1319110openalex-snapshot
Using the incremental approach to generate test sets: a case study
inferred← citeshttps://doi.org/10.1109/qsic.2005.42openalex-snapshot
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints
inferred← citeshttps://doi.org/10.1109/qsic.2007.4385487openalex-snapshot
Detecting Double Faults on Term and Literal in Boolean Expressions
inferred← citeshttps://doi.org/10.1109/qsic.2010.25openalex-snapshot
Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria
inferred← citeshttps://doi.org/10.1109/qsic.2014.40openalex-snapshot
Automating Test-Suite Augmentation
inferred← citeshttps://doi.org/10.1109/seaa.2018.00032openalex-snapshot
Model-Based Testing of Software-Based System Functions
inferred← citeshttps://doi.org/10.1109/smc42975.2020.9283198openalex-snapshot
MutShrink: a Mutation-based Test Database Shrinking Method
inferred← citeshttps://doi.org/10.1109/snpd.2010.43openalex-snapshot
Test Generation for Web Applications Using Model-Checking
inferred← citeshttps://doi.org/10.1109/sp.2014.17openalex-snapshot
Hidden GEMs: Automated Discovery of Access Control Vulnerabilities in Graphical User Interfaces
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/synasc.2007.47openalex-snapshot
Automatic State-Based Test Generation Using Genetic Algorithms
inferred← citeshttps://doi.org/10.1109/synasc.2008.69openalex-snapshot
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing
inferred← citeshttps://doi.org/10.1109/syscon.2012.6189436openalex-snapshot
A model driven approach for system validation
inferred← citeshttps://doi.org/10.1109/taic-part.2006.11openalex-snapshot
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
inferred← citeshttps://doi.org/10.1109/taic.part.2007.26openalex-snapshot
State-based Testing is Functional Testing
inferred← citeshttps://doi.org/10.1109/tase.2007.46openalex-snapshot
Specification-based Test Generation and Optimization Using Model Checking
inferred← citeshttps://doi.org/10.1109/tase.2012.16openalex-snapshot
Model-Based Test Generation Using Evolutional Symbolic Grammar
inferred← citeshttps://doi.org/10.1109/tla.2010.5514443openalex-snapshot
Populating Test Databases for Testing SQL Queries
inferred← citeshttps://doi.org/10.1109/tr.2014.2354172openalex-snapshot
An Automated Test Generation Technique for Software Quality Assurance
inferred← citeshttps://doi.org/10.1109/tr.2021.3078714openalex-snapshot
SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution
inferred← citeshttps://doi.org/10.1109/tse.2007.39openalex-snapshot
Test Synthesis from UML Models of Distributed Software
inferred← citeshttps://doi.org/10.1109/tse.2008.33openalex-snapshot
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
inferred← citeshttps://doi.org/10.1109/tse.2010.32openalex-snapshot
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments
inferred← citeshttps://doi.org/10.1109/tse.2010.50openalex-snapshot
GUI Interaction Testing: Incorporating Event Context
inferred← citeshttps://doi.org/10.1109/tse.2020.2998503openalex-snapshot
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach
inferred← citeshttps://doi.org/10.1109/wcse.2009.827openalex-snapshot
A Function Testing Method for Interactive Software
showing the first 200 of 287 · page through all 287
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.