INIS
computer codes
100%
testing
70%
data
58%
psychological behavior
56%
tools
54%
constraints
45%
configuration
40%
detection
39%
modeling
34%
applications
34%
mutations
33%
algorithms
33%
specifications
30%
programming
30%
verification
29%
adaptive systems
24%
mutants
24%
design
23%
implementation
22%
levels
22%
information
20%
business
19%
explosions
18%
interactions
17%
management
17%
engineering
17%
capture
16%
values
16%
mapping
16%
space
15%
chains
15%
markov process
14%
transformations
14%
reliability
13%
randomness
13%
solutions
13%
efficiency
13%
environment
12%
assessments
12%
optimization
12%
evaluation
12%
monitoring
12%
units
11%
dynamics
11%
real time systems
11%
comparative evaluations
10%
resources
10%
simulation
10%
diagrams
9%
probabilistic estimation
9%
cost
9%
learning
8%
errors
8%
sampling
8%
decision making
8%
atoms
8%
energy
8%
java
8%
maps
8%
surveys
8%
proposals
8%
density
8%
approximations
8%
synthesis
7%
performance
7%
dimensions
7%
control
7%
reviews
7%
operation
7%
food
6%
taxonomy
6%
exceptions
6%
assignments
6%
reduction
6%
engineers
6%
quality assurance
6%
foundations
6%
safety
6%
computers
6%
probability
6%
allocations
6%
programming languages
5%
industry
5%
size
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
12%
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%