INIS
computer codes
100%
testing
70%
data
59%
psychological behavior
57%
tools
53%
constraints
46%
configuration
40%
detection
39%
modeling
34%
applications
34%
algorithms
33%
mutations
32%
specifications
30%
programming
30%
verification
30%
adaptive systems
24%
design
23%
levels
22%
implementation
21%
mutants
20%
information
20%
business
20%
explosions
18%
interactions
17%
management
17%
capture
17%
values
16%
engineering
16%
space
15%
chains
15%
markov process
14%
transformations
14%
reliability
14%
randomness
13%
solutions
13%
mapping
13%
efficiency
13%
assessments
12%
evaluation
12%
monitoring
12%
environment
12%
units
11%
dynamics
11%
real time systems
11%
comparative evaluations
10%
simulation
9%
resources
9%
diagrams
9%
probabilistic estimation
9%
cost
9%
optimization
9%
learning
9%
errors
8%
sampling
8%
decision making
8%
atoms
8%
energy
8%
java
8%
maps
8%
surveys
8%
proposals
8%
density
8%
synthesis
7%
dimensions
7%
performance
7%
control
7%
reviews
7%
operation
7%
food
6%
taxonomy
6%
exceptions
6%
approximations
6%
engineers
6%
quality assurance
6%
foundations
6%
computers
6%
probability
6%
programming languages
6%
industry
5%
size
5%
safety
5%
prediction
5%
weight
5%
architecture
5%
validation
5%
datasets
5%
exercise
5%
stacks
5%
teaching
5%
printed circuits
5%
specificity
5%
supply
5%
polynomials
5%
extraction
5%
metrics
5%
variations
5%
risks
5%
Computer Science
Software Product Line
50%
Transition System
37%
Self-Adaptive System
24%
Intensive System
17%
Timed Automaton
15%
Case Study
14%
Analysis Technique
13%
Mutation Operator
13%
Model Checking
11%
model based testing
10%
Symbolic Execution
10%
Business Intelligence
10%
Logic Programming
10%
Open Source
8%
Decision-Making
8%
Test Case Execution
8%
Real Time Systems
8%
Concurrency
6%
Automaton
6%
formal modeling
6%
Structured Query Language
6%
Food Traceability
6%
Formal Semantics
6%
Web Development
6%
Printed Circuit Board
6%
Human-Computer Interaction
6%
Requirement Engineering
6%
System Behavior
6%
Constraint Logic Programming
6%
Data-Value
6%
Clone Detection
6%
State Machine
6%
Anomaly Detection
6%
Temporal Logic
6%
model checker
5%
Coverage Criterion
5%
modeling language
5%
Data Model
5%
Generative Adversarial Networks
5%
Quality Measure
5%
Time Constraint
5%
Feature Diagram
5%
Supply Chain
5%
System Management
5%
Software Systems
5%
Keyphrases
Unit Testing
10%
Architectural Smells
10%
Database Program
6%
Bad Smells
6%
Counterexample-guided Abstraction Refinement
6%
Symbolic Execution
6%
Self-adaptive Systems
6%
Behavioral Maps
6%
Anti-unification
6%
Model Verification
5%