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