On the public citation graph
On the identification of categories and choices for specification-based test case generation
0 signed · 45 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.4370030203openalex-snapshot
Classification trees for partition testing
inferredcites →https://doi.org/10.1016/0950-5849(92)90171-kopenalex-snapshot
Software development with Z: a practical approach to formal methods in software engineering
inferredcites →https://doi.org/10.1016/0967-0661(94)91068-5openalex-snapshot
Software development with Z. A practical approach to formal methods in software engineering
inferredcites →https://doi.org/10.1109/icc.1998.682688openalex-snapshot
TUGEN: an automatic test suite generator integrating data-flow and control-flow methods
inferredcites →https://doi.org/10.1109/icfem.1997.630406openalex-snapshot
Test case design based on Z and the classification-tree method
inferredcites →https://doi.org/10.1109/te.2003.817617openalex-snapshot
Experience With Teaching Black-Box Testing in a Computer Science/Software Engineering Curriculum
inferredcites →https://doi.org/10.1109/tse.1980.234486openalex-snapshot
A Domain Strategy for Computer Program Testing
inferredcites →https://doi.org/10.1109/tse.1982.235572openalex-snapshot
A Close Look at Domain Testing
inferredcites →https://doi.org/10.1109/tse.1985.232226openalex-snapshot
Selecting Software Test Data Using Data Flow Information
inferredcites →https://doi.org/10.1109/tse.2003.1214323openalex-snapshot
A choice relation framework for supporting category-partition test case generation
inferredcites →https://doi.org/10.1109/wst.1988.5377openalex-snapshot
Selectivity of data-flow and control-flow path criteria
inferredcites →https://doi.org/10.1142/s0218194000000353openalex-snapshot
AN INTEGRATED CLASSIFICATION-TREE METHODOLOGY FOR TEST CASE GENERATION
inferredcites →https://doi.org/10.1145/62959.62964openalex-snapshot
The category-partition method for specifying and generating functional tests
inferredcites →https://doi.org/10.1145/75308.75332openalex-snapshot
Automatic generation of test scripts from formal test specifications
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/stvr.1805openalex-snapshot
Combinatorial methods for testing Internet of Things smart home systems
inferred← citeshttps://doi.org/10.1002/stvr.439openalex-snapshot
Automated verification and testing of user‐interactive undo features in database applications
inferred← citeshttps://doi.org/10.1007/978-3-540-33253-4_11openalex-snapshot
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-01156-6_28openalex-snapshot
Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach
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-010-9109-4openalex-snapshot
Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing
inferred← citeshttps://doi.org/10.1007/s11432-016-9057-8openalex-snapshot
Cost-effective testing based fault localization with distance based test-suite reduction
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.06.006openalex-snapshot
Using machine learning to refine Category-Partition test specifications and test suites
inferred← citeshttps://doi.org/10.1017/9781108974073.004openalex-snapshot
Introduction to Software Testing
inferred← citeshttps://doi.org/10.1109/aswec.2007.27openalex-snapshot
Managing Conflicts When Using Combination Strategies to Test Software
inferred← citeshttps://doi.org/10.1109/cmpsac.2004.1342850openalex-snapshot
On the testing of particular input conditions
inferred← citeshttps://doi.org/10.1109/icis.2010.39openalex-snapshot
A Generalization of Boundary Value Analysis for Input Parameters with Functional Dependency
inferred← citeshttps://doi.org/10.1109/icst.2012.146openalex-snapshot
Combinatorial Testing of ACTS: A Case Study
inferred← citeshttps://doi.org/10.1109/icst.2017.14openalex-snapshot
Coveringcerts: Combinatorial Methods for X.509 Certificate Testing
inferred← citeshttps://doi.org/10.1109/icstw.2013.41openalex-snapshot
Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria
inferred← citeshttps://doi.org/10.1109/icstw.2013.48openalex-snapshot
An Input Space Modeling Methodology for Combinatorial Testing
inferred← citeshttps://doi.org/10.1109/icstw.2014.7openalex-snapshot
Eris: A Tool for Combinatorial Testing of the Linux System Call Interface
inferred← citeshttps://doi.org/10.1109/itng.2008.218openalex-snapshot
Boundary Value Analysis Using Divide-and-Rule Approach
inferred← citeshttps://doi.org/10.1109/iwast.2012.6228992openalex-snapshot
Category Partition Method and Satisfiability Modulo Theories for test case generation
inferred← citeshttps://doi.org/10.1109/qsic.2005.36openalex-snapshot
Identification of Categories and Choices in Activity Diagrams
inferred← citeshttps://doi.org/10.1109/qsic.2008.5openalex-snapshot
Using Machine Learning to Refine Black-Box Test Specifications and Test Suites
inferred← citeshttps://doi.org/10.1109/qsic.2009.14openalex-snapshot
On the Coverage of Program Code by Specification-Based Tests
inferred← citeshttps://doi.org/10.1109/qsic.2013.14openalex-snapshot
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences
inferred← citeshttps://doi.org/10.1109/tse.2011.69openalex-snapshot
DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation
inferred← citeshttps://doi.org/10.1145/2532748.2532764openalex-snapshot
Teaching black-box testing to high school students
inferred← citeshttps://doi.org/10.1145/2915970.2915999openalex-snapshot
The power of single and error annotations in category partition testing
inferred← citeshttps://doi.org/10.1155/2014/843248openalex-snapshot
Adaptive Random Testing with Combinatorial Input Domain
inferred← citeshttps://doi.org/10.22215/etd/2017-11952openalex-snapshot
An Analysis and Extension of Category Partition Testing in the Presence of Constraints
inferred← citeshttps://doi.org/10.32657/10356/41497openalex-snapshot
Applying program analysis augmented with empirical properties into software analysis, testing and maintenance
inferred← citeshttps://doi.org/10.5555/2663608.2663622openalex-snapshot
Category partition method and satisfiability modulo theories for test case generation
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.