The complexity of Markov decision processes
Mathematics of Operations Research
A protocol test generation procedure
Computer Networks and ISDN Systems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Communication and concurrency
An improved protocol test generation procedure based on UIOS
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Markov decision processes and regular events
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Design and validation of computer protocols
Design and validation of computer protocols
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Theoretical Computer Science
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Testing finite state machines: fault detection
Selected papers of the 23rd annual ACM symposium on Theory of computing
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Finite State Markovian Decision Processes
Finite State Markovian Decision Processes
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
A Framework for Test Selection
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Testing Probabilistic and Nondeterministic Processes
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
On the Random Walk Method for Protocol Testing
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
IEEE Transactions on Software Engineering
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
On the undecidability of probabilistic planning and related stochastic optimization problems
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
Conformance testing in the presence of multiple faults
SODA '05 Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms
On the synthesis of adaptive tests for nondeterministic finite state machines
Programming and Computing Software
Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Approach to Robustness Testing of Network Protocol
NPC '08 Proceedings of the IFIP International Conference on Network and Parallel Computing
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Using Model Counting to Find Optimal Distinguishing Tests
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Indefinite-horizon POMDPs with action-based termination
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
FRACTAL: efficient fault isolation using active testing
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Statistical Approach to Test Stochastic and Probabilistic Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Testing a probabilistic FSM using interval estimation
Computer Networks: The International Journal of Computer and Telecommunications Networking
Constraint-based optimal testing using DNNF graphs
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Synthesis of distinguishing test cases for timed finite state machines
Programming and Computing Software
Probabilistic automata on finite words: decidable and undecidable problems
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
A model-based active testing approach to sequential diagnosis
Journal of Artificial Intelligence Research
Experimental comparison of different techniques to generate adaptive sequences
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Preset and adaptive homing experiments for nondeterministic finite state machines
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Adaptive testing of deterministic implementations specified by nondeterministic FSMs
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Reaching and Distinguishing States of Distributed Systems
SIAM Journal on Computing
Journal of the ACM (JACM)
Coping with nondeterminism in network protocol testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
State identification problems for timed automata
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
A note on an anomaly in black-box testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Conformance tests as checking experiments for partial nondeterministic FSM
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
State-Identification problems for finite-state transducers
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Online testing with reinforcement learning
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Testing real-time systems under uncertainty
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
The complexity of asynchronous model based testing
Theoretical Computer Science
Testing nondeterministic finite state machines with respect to the separability relation
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Maintaining consistency in a robot's knowledge-base via diagnostic reasoning
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |