Engineering & Materials Science
Testing
100%
Model checking
86%
Software testing
44%
Specifications
31%
Engines
19%
Formal verification
16%
Application programming interfaces (API)
14%
Explosions
14%
Fault detection
13%
Machine learning
13%
Semantics
13%
Linux
12%
Spacecraft
12%
Dynamic analysis
12%
Static analysis
12%
Web browsers
11%
Syntactics
10%
Ethereum
10%
Labeling
9%
Formal specification
8%
Theorem proving
8%
Data storage equipment
8%
Engineers
7%
Formal methods
7%
Data structures
7%
Costs
7%
Finite automata
7%
Computer programming languages
7%
Bitcoin
7%
Monitoring
6%
Temporal logic
6%
Containers
6%
Software reliability
6%
Bandwidth
6%
Experiments
5%
Crowdsourcing
5%
Feedback
5%
Medical problems
5%
Software engineering
5%
Propulsion
5%
Seed
5%
Software design
5%
Learning systems
5%
NASA
5%
Redundancy
5%
Mathematics
Model Checking
50%
Abstraction
25%
Testing
23%
Counterexample
22%
Coverage
21%
Software
21%
Test Generation
19%
Model
14%
Predicate
13%
Debugging
13%
File System
12%
Specification
11%
Constraint Solving
11%
Machine Learning
11%
Software Verification
11%
Learning
10%
Python
10%
Symbolic Execution
10%
Software Testing
9%
Language
9%
Runtime Verification
9%
Distance Metric
9%
Formal Verification
8%
Monitoring
7%
NASA
7%
Transactions
7%
Software Reliability
7%
Resources
7%
Ruler
7%
Program Analysis
7%
Swarm
7%
Experimental Results
6%
Trace
6%
Data Flow
6%
C++
6%
Software System
6%
Engine
6%
Semantics
6%
Dynamic Analysis
6%
Nondeterminism
6%
Container
6%
Tableau
6%
Appeal
6%
Open Source
6%
Automatic Verification
5%
Concurrent
5%
Architecture
5%
Genetic Algorithm
5%
Fault
5%
Refinement
5%