On the public citation graph

Assuring the model evolution of protocol software specifications by regression testing process improvement

https://doi.org/10.1002/spe.1092
0 signed · 56 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.1002/stvr.344openalex-snapshot
Using component metadata to regression test component‐based software
inferredcites →https://doi.org/10.1007/11940197_1openalex-snapshot
Multi-paradigmatic Model-Based Testing
inferredcites →https://doi.org/10.1007/978-0-387-35497-2openalex-snapshot
Testing of Communicating Systems XIV
inferredcites →https://doi.org/10.1007/978-0-387-35497-2_26openalex-snapshot
FSM Based Re-Testing Methods
inferredcites →https://doi.org/10.1007/978-3-540-78917-8_2openalex-snapshot
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
inferredcites →https://doi.org/10.1007/s10009-004-0153-xopenalex-snapshot
TGV: theory, principles and algorithms
inferredcites →https://doi.org/10.1016/j.infsof.2008.09.010openalex-snapshot
Automating regression test selection based on UML designs
inferredcites →https://doi.org/10.1023/b:pacs.0000004131.54590.fbopenalex-snapshot
The UniTesK Approach to Designing Test Suites
inferredcites →https://doi.org/10.1109/32.689399openalex-snapshot
Empirical studies of a safe regression test selection technique
inferredcites →https://doi.org/10.1109/32.988497openalex-snapshot
Test case prioritization: a family of empirical studies
inferredcites →https://doi.org/10.1109/apsec.2009.29openalex-snapshot
Directed Test Suite Augmentation
inferredcites →https://doi.org/10.1109/ase.2008.32openalex-snapshot
Test-Suite Augmentation for Evolving Software
inferredcites →https://doi.org/10.1109/ase.2009.77openalex-snapshot
Adaptive Random Test Case Prioritization
inferredcites →https://doi.org/10.1109/cmpsac.2001.960658openalex-snapshot
Requirement-based automated black-box test generation
inferredcites →https://doi.org/10.1109/compsac.2009.23openalex-snapshot
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization
inferredcites →https://doi.org/10.1109/fosm.2008.4659253openalex-snapshot
Retesting software during development and maintenance
inferredcites →https://doi.org/10.1109/icsea.2006.261276openalex-snapshot
Specification Based Regression Testing Using Explicit State Space Enumeration
inferredcites →https://doi.org/10.1109/icsm.1998.738488openalex-snapshot
Empirical evaluation of the textual differencing regression testing technique
inferredcites →https://doi.org/10.1109/icsm.2002.1167768openalex-snapshot
Model based regression test reduction using dependence analysis
inferredcites →https://doi.org/10.1109/icsm.2009.5306338openalex-snapshot
A model-based regression test selection technique
inferredcites →https://doi.org/10.1109/icst.2008.50openalex-snapshot
Model-Based Quality Assurance of Windows Protocol Documentation
inferredcites →https://doi.org/10.1109/qsic.2010.16openalex-snapshot
An Improved Regression Test Selection Technique by Clustering Execution Profiles
inferredcites →https://doi.org/10.1109/qsic.2010.55openalex-snapshot
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software
inferredcites →https://doi.org/10.1109/tse.2007.38openalex-snapshot
Search Algorithms for Regression Test Case Prioritization
inferredcites →https://doi.org/10.1142/s0218194006002963openalex-snapshot
ACTION MACHINES: A FRAMEWORK FOR ENCODING AND COMPOSING PARTIAL BEHAVIORS
inferredcites →https://doi.org/10.1145/1082983.1083223openalex-snapshot
Towards software architecture-based regression testing
inferredcites →https://doi.org/10.1145/1146238.1146240openalex-snapshot
TimeAware test suite prioritization
inferredcites →https://doi.org/10.1145/1291535.1291540openalex-snapshot
An approach for selective state machine based regression testing
inferredcites →https://doi.org/10.1145/1453101.1453131openalex-snapshot
Differential symbolic execution
inferredcites →https://doi.org/10.1145/1572272.1572297openalex-snapshot
Time-aware test-case prioritization using integer linear programming
inferredcites →https://doi.org/10.1145/225058.225161openalex-snapshot
Distinguishing tests for nondeterministic and probabilistic machines
inferredcites →https://doi.org/10.1145/248233.248262openalex-snapshot
A safe, efficient regression test selection technique
inferredcites →https://doi.org/10.1145/271771.271802openalex-snapshot
On the limit of control flow analysis for regression test selection
inferredcites →https://doi.org/10.1145/566171.566187openalex-snapshot
Effectively prioritizing tests in development environment
inferredcites →https://doi.org/10.1145/940071.940088openalex-snapshot
Regression testing of GUIs

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.1098openalex-snapshot
An empirical evaluation of several test‐a‐few strategies for testing particular conditions
inferred← citeshttps://doi.org/10.1002/spe.1103openalex-snapshot
Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010)
inferred← citeshttps://doi.org/10.1002/spe.2405openalex-snapshot
An improved distributed concolic testing approach
inferred← citeshttps://doi.org/10.1007/978-3-030-94238-0_10openalex-snapshot
Agility Based Coverage Improvement
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_12openalex-snapshot
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology
inferred← citeshttps://doi.org/10.1007/s11219-016-9330-xopenalex-snapshot
State-based models in regression test suite prioritization
inferred← citeshttps://doi.org/10.1007/s42979-021-00821-3openalex-snapshot
Functional Requirement-Based Test Case Prioritization in Regression Testing: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1016/j.comnet.2025.111259openalex-snapshot
A model checking-based framework for testing security properties of protocols under development
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.csi.2018.02.005openalex-snapshot
Scaling modified condition/decision coverage using distributed concolic testing for Java programs
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.05.001openalex-snapshot
A systematic literature review of test breakage prevention and repair techniques
inferred← citeshttps://doi.org/10.1016/j.jss.2015.03.066openalex-snapshot
Input-based adaptive randomized test case prioritization: A local beam search approach
inferred← citeshttps://doi.org/10.1049/iet-sen.2015.0154openalex-snapshot
Systematic mapping study on MBT: tools and models
inferred← citeshttps://doi.org/10.1109/access.2022.3211949openalex-snapshot
Evolution of Software Testing Strategies and Trends: Semantic Content Analysis of Software Research Corpus of the Last 40 Years
inferred← citeshttps://doi.org/10.1109/compsac.2013.33openalex-snapshot
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization
inferred← citeshttps://doi.org/10.1109/icaccs57279.2023.10113057openalex-snapshot
Evaluation of the Robustness, Transparency, Reliability and Safety of AI Systems
inferred← citeshttps://doi.org/10.1109/qrs.2015.28openalex-snapshot
PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization
inferred← citeshttps://doi.org/10.1109/tr.2015.2481601openalex-snapshot
To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments?
inferred← citeshttps://doi.org/10.1109/tsc.2012.40openalex-snapshot
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study
inferred← citeshttps://doi.org/10.1360/n112013-00140openalex-snapshot
基于形式化测试的实时系统变更后安全性验证
inferred← citeshttps://doi.org/10.48550/arxiv.1909.10750openalex-snapshot
A Systematic Literature Review of Test Breakage Prevention and Repair Techniques
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.