scientific article; zbMATH DE number 1418458
From MaRDI portal
Publication:4942015
zbMATH Open0952.68012MaRDI QIDQ4942015FDOQ4942015
Authors: Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis 
Publication date: 19 March 2000
Title of this publication is not available (Why is that?)
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
Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Cited In (33)
- DKL: an efficient algorithm for learning deterministic Kripke structures
- A graph based semantics for logical functional diagrams in power plant controllers
- Efficient active automata learning via mutation testing
- Title not available (Why is that?)
- 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
- Computer Aided Verification
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Tests and refutation
- Active learning for deterministic bottom-up nominal tree automata
- Active learning of nondeterministic finite state machines
- Grey-Box Checking
- Title not available (Why is that?)
- Learning register automata: from languages to program structures
- A Context-Free Symbiosis of Runtime Verification and Automata Learning
- Information gain of black-box testing
- Reverse Engineering Through Automata Learning
- Polynomial identification of \(\omega \)-automata
- On monitoring linear temporal properties
- Three optimizations for assume-guarantee reasoning with \(L^{*}\)
- Title not available (Why is that?)
- Testing probabilistic equivalence through reinforcement learning
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- A new fair multi-secret sharing scheme based on asymmetric bivariate polynomial
- Zero-knowledge blackbox testing: where are the faults?
- Complete model-based equivalence class testing for nondeterministic systems
- Testing nonlinear operators
- Probabilistic black-box reachability checking (extended version)
- Computational Methods in Systems Biology
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)
