Computer Science
Automaton
100%
model based testing
48%
Bluetooth Low Energy
47%
Timed Automaton
40%
Active Learning
40%
Learning Technique
30%
System Black Box
28%
Data Generation
27%
Conformance Testing
25%
Reactive System
25%
Markov Decision Process
24%
Symbolic Execution
20%
Response Time
20%
formal modeling
20%
Business Rule Model
20%
Input/Output
20%
Virtual Private Networks
20%
Partial Observability
20%
Software Portability
20%
Software Verification
20%
Bluetooth Device
20%
Fault Tolerant
20%
Interface Requirement
20%
Deterministic Finite
20%
Network Protocols
20%
Learning Algorithm
18%
Procedures
12%
Theorem Proving
10%
Interprocess Communication
10%
Active Learning Technique
10%
Commercial Tool
10%
Perfect Information
10%
Collect Information
10%
Structure Model
10%
Regular Language
10%
Design for Assembly
10%
Input Alphabet
10%
Output Sequence
10%
Testing Aspect
10%
Algorithms
9%
Deterministic Automaton
9%
Case Study
9%
Behavioral Analysis
9%
Evaluation
9%
Execution Trace
9%
Case Generation
8%
Property System
6%
Physical Device
6%
Verification System
6%
User Expectation
6%