On the public citation graph

Structural coverage criteria for L USTRE /S CADE programs

https://doi.org/10.1002/stvr.394
0 signed · 41 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.221openalex-snapshot
Test case selection strategies based on Boolean specifications‡
inferredcites →https://doi.org/10.1007/3-540-45648-1_15openalex-snapshot
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
inferredcites →https://doi.org/10.1007/3-540-50302-1_5openalex-snapshot
From a synchronous declarative language to a temporal logic dealing with multiform time
inferredcites →https://doi.org/10.1016/0167-6423(92)90005-vopenalex-snapshot
The Esterel synchronous programming language: design, semantics, implementation
inferredcites →https://doi.org/10.1016/b978-0-408-03741-9.50028-3openalex-snapshot
Software testing techniques
inferredcites →https://doi.org/10.1016/s0022-0000(74)80043-7openalex-snapshot
Analysis of structured programs
inferredcites →https://doi.org/10.1023/a:1018979130614openalex-snapshot
Specification‐based testing using cause‐effect graphs
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/32.159839openalex-snapshot
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
inferredcites →https://doi.org/10.1109/32.41326openalex-snapshot
A formal evaluation of data flow path selection criteria
inferredcites →https://doi.org/10.1109/5.97297openalex-snapshot
The synchronous approach to reactive and real-time systems
inferredcites →https://doi.org/10.1109/5.97301openalex-snapshot
Programming real-time applications with SIGNAL
inferredcites →https://doi.org/10.1109/ase.2000.873667openalex-snapshot
Test sequences generation from LUSTRE descriptions: GATEL
inferredcites →https://doi.org/10.1109/cmpsac.2001.960638openalex-snapshot
Formalization of software testing criteria using the Z notation
inferredcites →https://doi.org/10.1109/icse.1993.346037openalex-snapshot
Predicate-based test generation for computer programs
inferredcites →https://doi.org/10.1109/issre.2003.1251042openalex-snapshot
Thoroughness of specification-based testing of synchronous programs
inferredcites →https://doi.org/10.1109/issre.2005.26openalex-snapshot
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs
inferredcites →https://doi.org/10.1109/real.1998.739746openalex-snapshot
Automatic testing of reactive systems
inferredcites →https://doi.org/10.1109/tse.1976.233837openalex-snapshot
A Complexity Measure
inferredcites →https://doi.org/10.1109/tse.1978.231496openalex-snapshot
Testing Software Design Modeled by Finite-State Machines
inferredcites →https://doi.org/10.1109/tse.1980.230473openalex-snapshot
Experience with Path Analysis and Testing of Programs
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.235571openalex-snapshot
Weak Mutation Testing and Completeness of Test Sets
inferredcites →https://doi.org/10.1109/tse.1983.236871openalex-snapshot
A Data Flow Oriented Program Testing Strategy
inferredcites →https://doi.org/10.1109/tse.1985.231892openalex-snapshot
Partition Analysis: A Method Combining Testing and Verification
inferredcites →https://doi.org/10.1145/1081180.1081186openalex-snapshot
Structural test coverage criteria for lustre programs
inferredcites →https://doi.org/10.1145/250707.239119openalex-snapshot
Specification-based testing of synchronous software
inferredcites →https://doi.org/10.1145/41625.41641openalex-snapshot
LUSTRE: a declarative language for real-time programming
inferredcites →https://doi.org/10.1145/567446.567468openalex-snapshot
Theoretical and empirical studies on using program mutation to test the functional correctness of programs
inferredcites →https://doi.org/10.1145/74587.74634openalex-snapshot
Completely validated software: test adequacy and program mutation (panel session)

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-642-24431-5_8openalex-snapshot
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs
inferred← citeshttps://doi.org/10.1007/s10270-014-0428-yopenalex-snapshot
Comprehensive analysis of FBD test coverage criteria using mutants
inferred← citeshttps://doi.org/10.1016/b978-1-78548-263-2.50009-9openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/bs.adcom.2018.03.015openalex-snapshot
Mutation Testing Advances: An Analysis and Survey
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.1109/hase.2010.15openalex-snapshot
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples
inferred← citeshttps://doi.org/10.1109/icst.2015.7102606openalex-snapshot
Show Me New Counterexamples: A Path-Based Approach
inferred← citeshttps://doi.org/10.1109/iwcmc.2019.8766641openalex-snapshot
UAV-GCS Centralized Data-Oriented Communication Architecture for Crowd Surveillance Applications
inferred← citeshttps://doi.org/10.1109/qrs-c.2016.43openalex-snapshot
Model-Based Testing Directed by Structural Coverage and Functional Requirements
inferred← citeshttps://doi.org/10.1109/sies.2013.6601486openalex-snapshot
Engineering functional requirements of reactive systems using synchronous languages
inferred← citeshttps://doi.org/10.70675/94bef327z4563z47b9zad35z7dcbd2dcabd0openalex-snapshot
Architecture de communication sécurisée d'une flotte de drones
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.