On the public citation graph

Uncertainty-wise evolution of test ready models

https://doi.org/10.1016/j.infsof.2017.03.003

0 signed · 62 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/11693017_10openalex-snapshot

Regular Inference for State Machines with Parameters

inferredcites →https://doi.org/10.1007/978-1-4899-7463-1_9openalex-snapshot

The Object Constraint Language (OCL)

inferredcites →https://doi.org/10.1007/978-3-319-42061-5_16openalex-snapshot

Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model

inferredcites →https://doi.org/10.1007/978-3-540-78743-3_24openalex-snapshot

Regular Inference for State Machines Using Domains with Equality Tests

inferredcites →https://doi.org/10.1007/978-3-642-16612-9_1openalex-snapshot

Automatic Requirement Extraction from Test Cases

inferredcites →https://doi.org/10.1007/978-3-8349-6856-2_6openalex-snapshot

Unified Modeling Language (UML)

inferredcites →https://doi.org/10.1007/s10515-012-0103-xopenalex-snapshot

Scenario-based and value-based specification mining: better together

inferredcites →https://doi.org/10.1007/s10664-015-9367-7openalex-snapshot

Inferring extended finite state machine models from software executions

inferredcites →https://doi.org/10.1016/c2009-0-19715-5openalex-snapshot

Data Mining: Practical Machine Learning Tools and Techniques

inferredcites →https://doi.org/10.1081/e-ese-120044214openalex-snapshot

Unified Modeling Language (UML)

inferredcites →https://doi.org/10.1109/32.908957openalex-snapshot

Dynamically discovering likely program invariants to support program evolution

inferredcites →https://doi.org/10.1109/icse.2009.5070542openalex-snapshot

Synthesizing intensional behavior models by graph transformation

inferredcites →https://doi.org/10.1109/icst.2015.7102637openalex-snapshot

U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems

inferredcites →https://doi.org/10.1109/iwast.2013.6595795openalex-snapshot

Automated generation of state abstraction functions using data invariant inference

inferredcites →https://doi.org/10.1109/qsic.2011.17openalex-snapshot

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation

inferredcites →https://doi.org/10.1109/tse.2013.17openalex-snapshot

Generating Test Data from OCL Constraints with Search Techniques

inferredcites →https://doi.org/10.1109/tse.2014.2369047openalex-snapshot

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

inferredcites →https://doi.org/10.1145/1065579.1065786openalex-snapshot

IODINE

inferredcites →https://doi.org/10.1145/1134285.1134325openalex-snapshot

Perracotta

inferredcites →https://doi.org/10.1145/1138912openalex-snapshot

Proceedings of the 2006 international workshop on Dynamic systems analysis

inferredcites →https://doi.org/10.1145/1138912.1138919openalex-snapshot

Inferring state-based behavior models

inferredcites →https://doi.org/10.1145/1146238openalex-snapshot

Proceedings of the 2006 international symposium on Software testing and analysis

inferredcites →https://doi.org/10.1145/1146238.1146258openalex-snapshot

From daikon to agitator

inferredcites →https://doi.org/10.1145/1321631openalex-snapshot

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering

inferredcites →https://doi.org/10.1145/1321631.1321710openalex-snapshot

Mining modal scenario-based specifications from execution traces of reactive systems

inferredcites →https://doi.org/10.1145/1368088.1368127openalex-snapshot

DySy

inferredcites →https://doi.org/10.1145/1368088.1368157openalex-snapshot

Automatic generation of software behavioral models

inferredcites →https://doi.org/10.1145/1453101openalex-snapshot

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering

inferredcites →https://doi.org/10.1145/1453101.1453150openalex-snapshot

Javert

inferredcites →https://doi.org/10.1145/1595696.1595761openalex-snapshot

Automatic steering of behavioral model inference

inferredcites →https://doi.org/10.1145/1810295.1810324openalex-snapshot

Using dynamic execution traces and program invariants to enhance behavioral model inference

inferredcites →https://doi.org/10.1145/1858996.1859081openalex-snapshot

Scenario-based and value-based specification mining

inferredcites →https://doi.org/10.1145/1921532.1921543openalex-snapshot

Object constraint language (OCL)

inferredcites →https://doi.org/10.1145/2025113.2025151openalex-snapshot

Leveraging existing instrumentation to automatically infer invariant-constrained models

inferredcites →https://doi.org/10.1145/2568225.2568246openalex-snapshot

Inferring models of concurrent systems from logs of their behavior with CSight

inferredcites →https://doi.org/10.1145/2635868.2635890openalex-snapshot

Automatic mining of specifications from invocation traces and method invariants

inferredcites →https://doi.org/10.1145/2642937openalex-snapshot

Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

inferredcites →https://doi.org/10.1145/2642937.2642988openalex-snapshot

Behavioral resource-aware model inference

inferredcites →https://doi.org/10.1145/2744769openalex-snapshot

Proceedings of the 52nd Annual Design Automation Conference

inferredcites →https://doi.org/10.1145/581339openalex-snapshot

Proceedings of the 24th international conference on Software engineering - ICSE '02

inferredcites →https://doi.org/10.1145/581339.581377openalex-snapshot

Tracking down software bugs using automatic anomaly detection

inferredcites →https://doi.org/10.1145/581339.581378openalex-snapshot

Semantic anomaly detection in online data sources

inferredcites →https://doi.org/10.1145/581376.581377openalex-snapshot

Tracking down software bugs using automatic anomaly detection

inferredcites →https://doi.org/10.1145/581376.581378openalex-snapshot

Semantic anomaly detection in online data sources

inferredcites →https://doi.org/10.1201/b19290openalex-snapshot

Cyber-Physical Systems

inferredcites →https://doi.org/10.5555/2662413.2662431openalex-snapshot

Automated generation of state abstraction functions using data invariant inference

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/smr.2428openalex-snapshot

Uncertainty handling in cyber–physical systems: State‐of‐the‐art approaches, tools, causes, and future directions

inferred← citeshttps://doi.org/10.1007/s10270-020-00842-1openalex-snapshot

Uncertainty representation in software models: a survey

inferred← citeshttps://doi.org/10.1007/s10270-024-01261-2openalex-snapshot

Safety behavior abstraction and model evolution in autonomous driving

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/j.jss.2018.06.075openalex-snapshot

Specifying uncertainty in use case models

inferred← citeshttps://doi.org/10.1016/j.jss.2018.09.055openalex-snapshot

Search-Based test case prioritization for simulation-Based testing of cyber-Physical system product lines

inferred← citeshttps://doi.org/10.1016/j.jss.2020.110608openalex-snapshot

Model-based testing of software product lines: Mapping study and research roadmap

inferred← citeshttps://doi.org/10.1016/j.psep.2023.03.012openalex-snapshot

Analysis of safety and security challenges and opportunities related to cyber-physical systems

inferred← citeshttps://doi.org/10.1109/access.2023.3272672openalex-snapshot

stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems

inferred← citeshttps://doi.org/10.1109/ase56229.2023.00022openalex-snapshot

Evolve the Model Universe of a System Universe

inferred← citeshttps://doi.org/10.1109/euc.2018.00011openalex-snapshot

Search Based Model in the Loop Testing for Cyber Physical Systems

inferred← citeshttps://doi.org/10.1109/icst.2018.00029openalex-snapshot

Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing

inferred← citeshttps://doi.org/10.1109/qrs-c60940.2023.00062openalex-snapshot

Uncertainty-Wise Model Evolution with Genetic Programming

inferred← citeshttps://doi.org/10.1145/3310013.3310019openalex-snapshot

Model-in-the-Loop Testing for Cyber Physical Systems

inferred← citeshttps://doi.org/10.1145/3527451openalex-snapshot

Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data

inferred← citeshttps://doi.org/10.1145/3540250.3558955openalex-snapshot

Are elevator software robust against uncertainties? results and experiences from an industrial case study

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.