scientific article; zbMATH DE number 1418458
From MaRDI portal
Publication:4942015
Recommendations
- scientific article; zbMATH DE number 1916673
- Grey-Box Checking
- Formal Approaches to Software Testing
- A Note on an Anomaly in Black-Box Testing
- Black-box testing based on colorful taint analysis
- Information gain of black-box testing
- scientific article; zbMATH DE number 3909748
- Computational Methods in Systems Biology
Cited in
(33)- Learning Meets Verification
- On monitoring linear temporal properties
- Conformance testing in the presence of multiple faults
- A new fair multi-secret sharing scheme based on asymmetric bivariate polynomial
- Tests and refutation
- DKL: an efficient algorithm for learning deterministic Kripke structures
- Reverse Engineering Through Automata Learning
- Grey-Box Checking
- Computer Aided Verification
- Efficient active automata learning via mutation testing
- Polynomial identification of \(\omega \)-automata
- Incremental learning-based testing for reactive systems
- Testing probabilistic equivalence through reinforcement learning
- Probabilistic black-box reachability checking (extended version)
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Zero-knowledge blackbox testing: where are the faults?
- Concurrent Kleene algebra with observations: from hypotheses to completeness
- Generating models of infinite-state communication protocols using regular inference with abstraction
- scientific article; zbMATH DE number 2080060 (Why is no real title available?)
- A graph based semantics for logical functional diagrams in power plant controllers
- Complete model-based equivalence class testing for nondeterministic systems
- Active learning for deterministic bottom-up nominal tree automata
- scientific article; zbMATH DE number 1916673 (Why is no real title available?)
- Three optimizations for assume-guarantee reasoning with \(L^{*}\)
- Computational Methods in Systems Biology
- Testing nonlinear operators
- scientific article; zbMATH DE number 3909748 (Why is no real title available?)
- Black-box testing based on colorful taint analysis
- Information gain of black-box testing
- Learning register automata: from languages to program structures
- A Context-Free Symbiosis of Runtime Verification and Automata Learning
- Active learning of nondeterministic finite state machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4942015)
