INIS
computer codes
100%
testing
67%
data
62%
psychological behavior
53%
tools
53%
constraints
43%
configuration
38%
detection
37%
modeling
32%
applications
32%
mutations
32%
algorithms
31%
programming
29%
specifications
28%
design
28%
verification
28%
implementation
25%
business
25%
adaptive systems
23%
mutants
23%
levels
20%
engineering
19%
information
19%
interactions
18%
explosions
17%
capture
16%
management
16%
values
15%
solutions
15%
mapping
15%
space
14%
chains
14%
assessments
13%
markov process
13%
transformations
13%
reliability
13%
environment
12%
randomness
12%
efficiency
12%
comparative evaluations
11%
optimization
11%
evaluation
11%
monitoring
11%
units
10%
dynamics
10%
real time systems
10%
resources
9%
simulation
9%
decision making
9%
diagrams
8%
probabilistic estimation
8%
cost
8%
learning
8%
errors
8%
sampling
8%
atoms
8%
energy
8%
metrics
8%
java
8%
maps
7%
surveys
7%
proposals
7%
density
7%
approximations
7%
dimensions
7%
synthesis
7%
performance
7%
weight
7%
control
7%
reviews
6%
operation
6%
food
6%
taxonomy
6%
exceptions
6%
assignments
6%
reduction
6%
engineers
6%
architecture
6%
quality assurance
6%
validation
6%
foundations
6%
safety
5%
computers
5%
probability
5%
allocations
5%
vision
5%
programming languages
5%
industry
5%
size
5%
prediction
5%
datasets
5%
exercise
5%
stacks
5%
Computer Science
Software Product Line
47%
Transition System
35%
Self-Adaptive System
23%
Timed Automaton
18%
Intensive System
16%
Mutation Operator
15%
Case Study
13%
Analysis Technique
12%
Model Checking
11%
model based testing
10%
Symbolic Execution
9%
Business Intelligence
9%
Logic Programming
9%
Decision-Making
9%
Open Source
8%
Test Case Execution
8%
Structured Query Language
8%
Real Time Systems
7%
Concurrency
6%
Automaton
6%
formal modeling
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%
Execution Time
6%
Temporal Logic
6%
Formal Language
5%
Software Engineering
5%
model checker
5%
Coverage Criterion
5%
Keyphrases
Unit Testing
9%
Architectural Smells
9%
Database Program
6%
Bad Smells
6%
Counterexample-guided Abstraction Refinement
6%
Symbolic Execution
6%
Self-adaptive Systems
6%
Behavioral Maps
6%
Anti-unification
6%
Time Model
6%
Bisimulation
5%