On the public citation graph

Test suite minimization for testing in context

https://doi.org/10.1002/stvr.275
0 signed · 32 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-44830-6_17openalex-snapshot
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs
inferredcites →https://doi.org/10.1007/978-0-387-35062-2_10openalex-snapshot
Testing deterministic implementations from nondeterministic FSM specifications
inferredcites →https://doi.org/10.1007/978-0-387-35198-8_18openalex-snapshot
A Pragmatic Approach to Generating Test Sequences for Embedded Systems
inferredcites →https://doi.org/10.1007/978-0-387-35381-4_9openalex-snapshot
Test suite minimization for testing in context
inferredcites →https://doi.org/10.1007/978-0-387-35497-2_11openalex-snapshot
Interoperability Test Generation for Communication Protocols Based on Multiple Stimuli Principle
inferredcites →https://doi.org/10.1007/978-0-387-35497-2_12openalex-snapshot
Automated Generation of Interoperability Tests
inferredcites →https://doi.org/10.1007/978-0-387-35497-2_23openalex-snapshot
Fault Detection within a Component of a System of Communicating FSMs
inferredcites →https://doi.org/10.1007/978-0-387-35516-0_3openalex-snapshot
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs
inferredcites →https://doi.org/10.1007/978-0-387-35578-8_3openalex-snapshot
Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services
inferredcites →https://doi.org/10.1016/0304-3975(79)90041-0openalex-snapshot
On the reachability problem for 5-dimensional vector addition systems
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/s0140-3664(96)01157-7openalex-snapshot
Testing in context: framework and test derivation
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/26.494307openalex-snapshot
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach
inferredcites →https://doi.org/10.1109/32.263756openalex-snapshot
Software testing based on SDL specifications with save
inferredcites →https://doi.org/10.1109/32.265636openalex-snapshot
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
inferredcites →https://doi.org/10.1109/32.87284openalex-snapshot
Test selection based on finite state models
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by 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/stv.430openalex-snapshot
Regression testing minimization, selection and prioritization: a survey
inferred← citeshttps://doi.org/10.1002/stvr.430openalex-snapshot
Regression testing minimization, selection and prioritization: a survey
inferred← citeshttps://doi.org/10.1007/978-3-642-17881-8_20openalex-snapshot
Integration Testing of Multiple Embedded Processing Components
inferred← citeshttps://doi.org/10.1016/bs.adcom.2016.04.004openalex-snapshot
Recent Advances in Regression Testing Techniques
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.04.012openalex-snapshot
Using Squeeziness to test component-based systems defined as Finite State Machines
inferred← citeshttps://doi.org/10.1016/j.jlamp.2019.100502openalex-snapshot
Introducing complexity to formal testing
inferred← citeshttps://doi.org/10.1109/access.2018.2809600openalex-snapshot
A Systematic Review on Test Suite Reduction: Approaches, Experiment’s Quality Evaluation, and Guidelines
inferred← citeshttps://doi.org/10.1109/apsec.2013.81openalex-snapshot
Results for Compositional Timed Testing
inferred← citeshttps://doi.org/10.1109/informatics62280.2024.10900862openalex-snapshot
Verify the Effectiveness of the Intelligent Data Layer on Different Hardware Configurations
inferred← citeshttps://doi.org/10.1109/qsic.2011.30openalex-snapshot
FSM-Based Test Derivation Strategies for Systems with Time-Outs
inferred← citeshttps://doi.org/10.1109/sefm.2010.30openalex-snapshot
Testing Web Service Orchestrators in Context: A Symbolic Approach
inferred← citeshttps://doi.org/10.47749/t/unicamp.2006.416896openalex-snapshot
Teste de conformidade em contexto guiado por casos de teste do componente
inferred← citeshttps://doi.org/10.70675/18a6d44bz42bdz476aza29fz60af615aab66openalex-snapshot
Symbolic test case generation for testing orchestrators in context
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.