On the public citation graph

Formal Approaches to Software Testing

https://doi.org/10.1007/b106767
0 signed · 154 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/978-3-540-31848-4_2openalex-snapshot
Symbolic Test Case Generation for Primitive Recursive Functions

What points at this work

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

inferred← citeshttps://doi.org/10.1002/stvr.379openalex-snapshot
Quality assurance for TTCN‐3 test specifications
inferred← citeshttps://doi.org/10.1007/11430230_15openalex-snapshot
An Expressive and Implementable Formal Framework for Testing Real-Time Systems
inferred← citeshttps://doi.org/10.1007/11430230_25openalex-snapshot
Quiescence Management Improves Interoperability Testing
inferred← citeshttps://doi.org/10.1007/11430230_3openalex-snapshot
Dependence Testing: Extending Data Flow Testing with Control Dependence
inferred← citeshttps://doi.org/10.1007/11430230_9openalex-snapshot
Testing Communicating Systems: a Model, a Methodology, and a Tool
inferred← citeshttps://doi.org/10.1007/11549468_7openalex-snapshot
Fast Convex Closure for Efficient Predicate Detection
inferred← citeshttps://doi.org/10.1007/11562948_13openalex-snapshot
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/11754008_1openalex-snapshot
Symbolic Execution Techniques for Test Purpose Definition
inferred← citeshttps://doi.org/10.1007/11754008_15openalex-snapshot
Compositional Testing of Communication Systems
inferred← citeshttps://doi.org/10.1007/11754008_19openalex-snapshot
Test Case Minimization for Real-Time Systems Using Timed Bound Traces
inferred← citeshttps://doi.org/10.1007/11754008_21openalex-snapshot
Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems
inferred← citeshttps://doi.org/10.1007/11767077_13openalex-snapshot
Adaptive Random Testing Through Iterative Partitioning
inferred← citeshttps://doi.org/10.1007/11786160_1openalex-snapshot
Audition of Web Services for Testing Conformance to Open Specified Protocols
inferred← citeshttps://doi.org/10.1007/11888116_30openalex-snapshot
Grey-Box Checking
inferred← citeshttps://doi.org/10.1007/11940197_1openalex-snapshot
Multi-paradigmatic Model-Based Testing
inferred← citeshttps://doi.org/10.1007/11940197_16openalex-snapshot
Online Testing with Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/11940197_3openalex-snapshot
A Symbolic Framework for Model-Based Testing
inferred← citeshttps://doi.org/10.1007/11940197_6openalex-snapshot
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement
inferred← citeshttps://doi.org/10.1007/11940197_7openalex-snapshot
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
inferred← citeshttps://doi.org/10.1007/11940197_8openalex-snapshot
Model-Based Testing of Thin-Client Web Applications
inferred← citeshttps://doi.org/10.1007/11951148_10openalex-snapshot
Refactoring and Metrics for TTCN-3 Test Suites
inferred← citeshttps://doi.org/10.1007/11955757_20openalex-snapshot
Experiences in Using B and UML in Industrial Development
inferred← citeshttps://doi.org/10.1007/978-0-85729-133-2_12openalex-snapshot
Testing of Safety-Critical Systems – a Structural Approach to Test Case Design
inferred← citeshttps://doi.org/10.1007/978-3-319-00948-3_7openalex-snapshot
A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds
inferred← citeshttps://doi.org/10.1007/978-3-319-03077-7_6openalex-snapshot
Symbolic Model-Based Testing for Industrial Automation Software
inferred← citeshttps://doi.org/10.1007/978-3-319-07076-6_9openalex-snapshot
A Trace Management Platform for Risk-Based Security Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-07602-7_18openalex-snapshot
On the Complexity of Input Output Conformance Testing
inferred← citeshttps://doi.org/10.1007/978-3-319-08311-7_5openalex-snapshot
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10082-1_1openalex-snapshot
Model-Based Testing for Functional and Security Test Generation
inferred← citeshttps://doi.org/10.1007/978-3-319-11245-9_19openalex-snapshot
Test-Data Generation for Xtext
inferred← citeshttps://doi.org/10.1007/978-3-319-11743-0_10openalex-snapshot
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-24704-3_11openalex-snapshot
From Safety Verification to Safety Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-24704-3_6openalex-snapshot
On Testing Partially Specified IOTS through Lossless Queues
inferred← citeshttps://doi.org/10.1007/978-3-540-24704-3_9openalex-snapshot
Generation of Optimized Testsuites for UML Statecharts with Time
inferred← citeshttps://doi.org/10.1007/978-3-540-24732-6_8openalex-snapshot
Black-Box Conformance Testing for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-24855-2_164openalex-snapshot
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)
inferred← citeshttps://doi.org/10.1007/978-3-540-30196-7_8openalex-snapshot
Testing of Service-Oriented Architectures – A Practical Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-30206-3_11openalex-snapshot
Real-Time Testing with Timed Automata Testers and Coverage Criteria
inferred← citeshttps://doi.org/10.1007/978-3-540-30232-2_11openalex-snapshot
Connectivity Testing Through Model-Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-30569-9_8openalex-snapshot
Verification of Safety Properties in the Presence of Transactions
inferred← citeshttps://doi.org/10.1007/978-3-540-31848-4_9openalex-snapshot
Specifying and Generating Test Cases Using Observer Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_15openalex-snapshot
Implementation Relations for the Distributed Test Architecture
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_17openalex-snapshot
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_19openalex-snapshot
Model-Based Generation of Testbeds for Web Services
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_5openalex-snapshot
Model-Based Testing Service on the Web
inferred← citeshttps://doi.org/10.1007/978-3-540-68524-1_9openalex-snapshot
Model-Based Firewall Conformance Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-68624-8_7openalex-snapshot
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-69149-5_56openalex-snapshot
The Role of Model-Based Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-70881-0_11openalex-snapshot
TTCN-3 for distributed testing embedded systems
inferred← citeshttps://doi.org/10.1007/978-3-540-70889-6_14openalex-snapshot
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise
inferred← citeshttps://doi.org/10.1007/978-3-540-70889-6_17openalex-snapshot
Making Model-Based Testing More Agile: A Use Case Driven Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_8openalex-snapshot
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
inferred← citeshttps://doi.org/10.1007/978-3-540-71289-3_24openalex-snapshot
Testing Scenario-Based Models
inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_19openalex-snapshot
On Resource-Sensitive Timed Component Connectors
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_1openalex-snapshot
Implementing Conformiq Qtronic
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_24openalex-snapshot
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_25openalex-snapshot
Model-Based Testing of Optimizing Compilers
inferred← citeshttps://doi.org/10.1007/978-3-540-73066-8_7openalex-snapshot
Symbolic Model Based Testing for Component Oriented Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73597-7_24openalex-snapshot
Auto-Generating Test Sequences for Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_10openalex-snapshot
Generating Unit Tests from Formal Proofs
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_11openalex-snapshot
Using Model Checking to Generate Fault Detecting Tests
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_8openalex-snapshot
Symbolic Execution Techniques for Refinement Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_9openalex-snapshot
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_24openalex-snapshot
Specification-Based Testing for CoCasl’s Modal Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_1openalex-snapshot
Model-Based Testing of Environmental Conformance of Components
inferred← citeshttps://doi.org/10.1007/978-3-540-75211-0_8openalex-snapshot
Testing Finite State Machines Presenting Stochastic Time and Timeouts
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_1openalex-snapshot
Models and Software Model Checking of a Distributed File Replication System
inferred← citeshttps://doi.org/10.1007/978-3-540-76650-6_11openalex-snapshot
Reducing Test Sequence Length Using Invertible Sequences
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_10openalex-snapshot
The Test Technology TTCN-3
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_2openalex-snapshot
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_3openalex-snapshot
Testing Real-Time Systems Using UPPAAL
inferred← citeshttps://doi.org/10.1007/978-3-540-78917-8_6openalex-snapshot
Testing from X-Machine Specifications
inferred← citeshttps://doi.org/10.1007/978-3-540-79124-9_5openalex-snapshot
Finding Counter Examples in Induction Proofs
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_18openalex-snapshot
On Conformance Testing for Timed Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_3openalex-snapshot
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-88194-0_7openalex-snapshot
An Approach to Testing with Embedded Context Using Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-540-88387-6_16openalex-snapshot
Controllable Test Cases for the Distributed Test Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-00590-9_24openalex-snapshot
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
inferred← citeshttps://doi.org/10.1007/978-3-642-01364-5_9openalex-snapshot
On-The-Fly Model-Based Testing of Web Services with Jambition
inferred← citeshttps://doi.org/10.1007/978-3-642-02138-1_9openalex-snapshot
Distinguing Non-deterministic Timed Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-02478-8_43openalex-snapshot
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences
inferred← citeshttps://doi.org/10.1007/978-3-642-02949-3_10openalex-snapshot
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
inferred← citeshttps://doi.org/10.1007/978-3-642-02949-3_11openalex-snapshot
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
inferred← citeshttps://doi.org/10.1007/978-3-642-03466-4_17openalex-snapshot
Integration Testing from Structured First-Order Specifications via Deduction Modulo
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_4openalex-snapshot
Conformance Testing of Distributed Concurrent Systems with Executable Designs
inferred← citeshttps://doi.org/10.1007/978-3-642-04570-7_19openalex-snapshot
Model-Based Testing of Electronic Passports
inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_29openalex-snapshot
On Detecting Regular Predicates in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-05031-2_1openalex-snapshot
Testing Real-Time Systems Using TINA
inferred← citeshttps://doi.org/10.1007/978-3-642-05031-2_16openalex-snapshot
Towards Automatic Generation of a Coherent TTCN-3 Template Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-10265-3_19openalex-snapshot
Model-Based Testing of GUI-Driven Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_2openalex-snapshot
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-12002-2_21openalex-snapshot
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-13273-5_7openalex-snapshot
Development of Mobile Location-Based Systems with Component
inferred← citeshttps://doi.org/10.1007/978-3-642-14808-8_13openalex-snapshot
Testing of Abstract Components
inferred← citeshttps://doi.org/10.1007/978-3-642-15297-9_19openalex-snapshot
A Conformance Testing Relation for Symbolic Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-15585-7_16openalex-snapshot
The Practical Assessment of Test Sets with Inductive Inference Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-16472-9_49openalex-snapshot
Application of TTCN-3 for Testing of Railway Interlocking Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16573-3_10openalex-snapshot
Increasing Functional Coverage by Inductive Testing: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-642-16690-7_9openalex-snapshot
Unifying Theories in Isabelle/HOL
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_13openalex-snapshot
Property-Based Testing - The ProTest Project
inferred← citeshttps://doi.org/10.1007/978-3-642-18070-5_13openalex-snapshot
JMLUnit: The Next Generation
inferred← citeshttps://doi.org/10.1007/978-3-642-19583-9_5openalex-snapshot
An Introduction to Test Specification in FQL
inferred← citeshttps://doi.org/10.1007/978-3-642-19811-3_20openalex-snapshot
Seamless Testing for Models and Code
inferred← citeshttps://doi.org/10.1007/978-3-642-21393-9_12openalex-snapshot
A Formal Framework for Testing duration Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-21455-4_9openalex-snapshot
Model-Based Testing and Some Steps towards Test-Based Modelling
inferred← citeshttps://doi.org/10.1007/978-3-642-21747-0_92openalex-snapshot
Automatic Test Purpose Generation for Web Services
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_1openalex-snapshot
Performance Evaluation of Schedulers in a Probabilistic Setting
inferred← citeshttps://doi.org/10.1007/978-3-642-24580-0_12openalex-snapshot
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
inferred← citeshttps://doi.org/10.1007/978-3-642-24580-0_13openalex-snapshot
Compositional Random Testing Using Extended Symbolic Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24580-0_9openalex-snapshot
Monitoring Dynamical Signals While Testing Timed Aspects of a System
inferred← citeshttps://doi.org/10.1007/978-3-642-24958-7_53openalex-snapshot
Fitness Landscape-Based Parameter Tuning Method for Evolutionary Algorithms for Computing Unique Input Output Sequences
inferred← citeshttps://doi.org/10.1007/978-3-642-25264-8_10openalex-snapshot
Towards a Model Based Approach for Integration Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-25271-6_12openalex-snapshot
Automated Verification of Executable UML Models
inferred← citeshttps://doi.org/10.1007/978-3-642-25271-6_19openalex-snapshot
Testing Real-Time Systems under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-642-28830-2_18openalex-snapshot
Comparison of Context-Free Grammars Based on Parsing Generated Test Data
inferred← citeshttps://doi.org/10.1007/978-3-642-30473-6_5openalex-snapshot
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
inferred← citeshttps://doi.org/10.1007/978-3-642-30793-5_14openalex-snapshot
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-32439-0_6openalex-snapshot
Container-Level Security Certification of Services
inferred← citeshttps://doi.org/10.1007/978-3-642-33119-0_11openalex-snapshot
Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-33478-8_76openalex-snapshot
A Formal Method for Testing Reactive System from Symbolic Model
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_16openalex-snapshot
A Vision for Behavioural Model-Driven Validation of Software Product Lines
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_24openalex-snapshot
A Unified Approach for Static and Runtime Verification: Framework and Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-34691-0_10openalex-snapshot
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-34707-8_10openalex-snapshot
OCE: An Online Colaborative Editor
inferred← citeshttps://doi.org/10.1007/978-3-642-35267-6_13openalex-snapshot
Regression Testing of Object-Oriented Software: A Technique Based on Use Cases and Associated Tool
inferred← citeshttps://doi.org/10.1007/978-3-642-35743-5_9openalex-snapshot
Timed Conformance Testing for Orchestrated Service Discovery
inferred← citeshttps://doi.org/10.1007/978-3-642-35861-6_11openalex-snapshot
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time
inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_26openalex-snapshot
Information Reuse for Multi-goal Reachability Analyses
inferred← citeshttps://doi.org/10.1007/978-3-642-38916-0_2openalex-snapshot
Time for Mutants — Model-Based Mutation Testing with Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-38916-0_3openalex-snapshot
Model-Based Testing for Verification Back-Ends
inferred← citeshttps://doi.org/10.1007/978-3-642-39955-8_8openalex-snapshot
A Modular Approach to Model-Based Testing of Concurrent Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_11openalex-snapshot
Incremental Language Inclusion Checking for Networks of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-41202-8_11openalex-snapshot
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_1openalex-snapshot
Using Logic Coverage to Improve Testing Function Block Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_3openalex-snapshot
Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-41707-8_5openalex-snapshot
Remote Testing of Timed Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-41888-4_5openalex-snapshot
Fitness Landscapes and Problem Difficulty in Evolutionary Algorithms: From Theory to Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-41947-8_26openalex-snapshot
Testing Stochastic Systems Using MoVoS Tool: Case Studies
inferred← citeshttps://doi.org/10.1007/978-3-642-54624-2_14openalex-snapshot
Synthesis of Infinite-State Abstractions and Their Use for Software Validation
inferred← citeshttps://doi.org/10.1007/978-3-658-09994-7_1openalex-snapshot
Verification of Embedded Real-time Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-43613-4_6openalex-snapshot
A Model-Based Certification Framework for the EnergyBus Standard
inferred← citeshttps://doi.org/10.1007/s10009-014-0356-8openalex-snapshot
Complete model-based equivalence class testing
inferred← citeshttps://doi.org/10.1016/j.jss.2012.12.030openalex-snapshot
Testing Real-Time Embedded Systems using Timed Automata based approaches
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102678openalex-snapshot
State identification for labeled transition systems with inputs and outputs
inferred← citeshttps://doi.org/10.1109/etsym.2010.5512761openalex-snapshot
Automated conformance evaluation of SystemC designs using timed automata
inferred← citeshttps://doi.org/10.1109/icst.2011.37openalex-snapshot
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems
inferred← citeshttps://doi.org/10.1134/s0361768811010014openalex-snapshot
Specification completion for IOCO
inferred← citeshttps://doi.org/10.1145/2435227.2435257openalex-snapshot
A HW/SW co-verification framework for SystemC
inferred← citeshttps://doi.org/10.14279/depositonce-2449openalex-snapshot
A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata
inferred← citeshttps://doi.org/10.3990/1.9789064642739openalex-snapshot
Testing reactive systems with data : enumerative methods and constraint solving
inferred← citeshttps://doi.org/10.4204/eptcs.60.2openalex-snapshot
Input-output Conformance Testing for Channel-based Service Connectors
inferred← citeshttps://doi.org/10.5555/1775223.1775234openalex-snapshot
Formal testing of systems presenting soft and hard deadlines
inferred← citeshttps://doi.org/10.5555/1926458.1926486openalex-snapshot
Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: methodology and industrial case studies
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.