On the public citation graph
An improved distributed concolic testing approach
0 signed · 51 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)1097-024x(200006)30:7<775::aid-spe309>3.0.co;2-hopenalex-snapshot
A static analyzer for finding dynamic programming errors
inferredcites →https://doi.org/10.1002/spe.1092openalex-snapshot
Assuring the model evolution of protocol software specifications by regression testing process improvement
inferredcites →https://doi.org/10.1002/spe.2290openalex-snapshot
RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications
inferredcites →https://doi.org/10.1002/spe.602openalex-snapshot
JCrasher: an automatic robustness tester for Java
inferredcites →https://doi.org/10.1007/978-3-319-14977-6_15openalex-snapshot
SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing
inferredcites →https://doi.org/10.1007/978-3-540-78800-3_24openalex-snapshot
Z3: An Efficient SMT Solver
inferredcites →https://doi.org/10.1007/s00165-011-0200-9openalex-snapshot
Concolic testing of the multi-sector read operation for flash storage platform software
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/ase.2008.69openalex-snapshot
Heuristics for Scalable Dynamic Test Generation
inferredcites →https://doi.org/10.1109/ase.2013.6693109openalex-snapshot
Automated unit testing of large industrial embedded software using concolic testing
inferredcites →https://doi.org/10.1109/iadcc.2013.6514432openalex-snapshot
Increase in Modified Condition/Decision Coverage using program code transformer
inferredcites →https://doi.org/10.1109/icsm.2010.5609565openalex-snapshot
Guided test generation for coverage criteria
inferredcites →https://doi.org/10.1109/icst.2012.114openalex-snapshot
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation
inferredcites →https://doi.org/10.1109/icst.2012.119openalex-snapshot
Industrial Application of Concolic Testing on Embedded Software: Case Studies
inferredcites →https://doi.org/10.1109/imac4s.2013.6526469openalex-snapshot
Enhanced modified condition/decision coverage using exclusive-nor code transformer
inferredcites →https://doi.org/10.1109/issre.2003.1251034openalex-snapshot
Coverage criteria for logical expressions
inferredcites →https://doi.org/10.1109/ssiri.2009.53openalex-snapshot
Automatic Test Data Generation for C Programs
inferredcites →https://doi.org/10.1145/1569901.1570123openalex-snapshot
MC/DC automatic test input data generation
inferredcites →https://doi.org/10.2316/journal.213.2013.2.213-1037openalex-snapshot
AUTOMATIC GENERATION OF MC/DC TEST DATA
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.2564openalex-snapshot
Mobolic: An automated approach to exercising mobile application GUIs using symbiosis of online testing technique and customated input generation
inferred← citeshttps://doi.org/10.1007/978-3-030-40928-9_9openalex-snapshot
White Box Testing Using Genetic Algorithm—An Extensive Study
inferred← citeshttps://doi.org/10.1007/978-3-030-94238-0_9openalex-snapshot
Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique
inferred← citeshttps://doi.org/10.1007/978-3-031-21750-0_6openalex-snapshot
Cyclomatic Complexity Analysis for Smart Contract Using Control Flow Graph
inferred← citeshttps://doi.org/10.1007/978-981-10-3874-7_56openalex-snapshot
Measuring Hit Ratio Metric for SOA-Based Application Using Black-Box Testing
inferred← citeshttps://doi.org/10.1007/978-981-10-5427-3_18openalex-snapshot
Measuring Branch Coverage for the SOA Based Application Using Concolic Testing
inferred← citeshttps://doi.org/10.1007/s13198-024-02650-yopenalex-snapshot
Making effective carbon-box testing technique using prioritised-selected test cases driven combinatorial approach
inferred← citeshttps://doi.org/10.1016/bs.adcom.2021.01.002openalex-snapshot
Evaluating software testing techniques: A systematic mapping study
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2024.109706openalex-snapshot
SMUP: A technique to improve MC/DC using specified patterns
inferred← citeshttps://doi.org/10.1016/j.csi.2016.09.006openalex-snapshot
J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis
inferred← citeshttps://doi.org/10.1016/j.csi.2017.04.003openalex-snapshot
GECOJAP: A novel source-code preprocessing technique to improve code coverage
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.106221openalex-snapshot
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry
inferred← citeshttps://doi.org/10.1016/j.jksuci.2021.12.007openalex-snapshot
BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases
inferred← citeshttps://doi.org/10.1109/indicon.2016.7839079openalex-snapshot
Measuring MC/DC at design phase using UML sequence diagram and concolic testing
inferred← citeshttps://doi.org/10.1109/indicon.2017.8487566openalex-snapshot
MEMOSA: MEasuring MC/DC Of SOA Applications using Concolic Testing
inferred← citeshttps://doi.org/10.1109/indicon52576.2021.9691646openalex-snapshot
PRFL: Predicate Rank based Fault Localization
inferred← citeshttps://doi.org/10.1109/indicon56171.2022.10040078openalex-snapshot
CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method
inferred← citeshttps://doi.org/10.1109/indicon59947.2023.10440808openalex-snapshot
An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results
inferred← citeshttps://doi.org/10.1109/qrs60937.2023.00039openalex-snapshot
BDGSE: A Symbolic Execution Technique for High MC/DC
inferred← citeshttps://doi.org/10.1109/tencon.2016.7848024openalex-snapshot
COLT: Extending CONCOLIC testing to measure LCSAJ Coverage
inferred← citeshttps://doi.org/10.1145/3299771.3299781openalex-snapshot
Enhancing Test Cases generated by Concolic Testing
inferred← citeshttps://doi.org/10.1145/3460319.3464841openalex-snapshot
Toward optimal mc/dc test case generation
inferred← citeshttps://doi.org/10.1145/3641399.3641427openalex-snapshot
Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC)
inferred← citeshttps://doi.org/10.15439/2016f289openalex-snapshot
Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs
inferred← citeshttps://doi.org/10.32657/10220/48041openalex-snapshot
Testing mobile applications via automated exploration of graphical user interface and textual user input generation
inferred← citeshttps://doi.org/10.33480/jitk.v7i2.2758openalex-snapshot
IMPLEMENTATION OF CONCOLIC UNIT TESTING IN TESTING BINARY SEARCH ALGORITHM USING JCUTE
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.