Keyphrases
Absolute Correctness
29%
Acme
12%
Architectural Features
33%
Architectural Language
34%
Architectural Level
28%
Automated Tool
43%
Change Propagation
24%
Change Propagation Prediction
15%
Complex Structure
12%
Computational Infrastructure
25%
Connector
15%
Cyber Security Metrics
13%
Cybersecurity
27%
Cybersecurity Measures
11%
Cyberspace Security
12%
Data Acquisition System
16%
Debugging
13%
Decision Maker
12%
Dependability Attributes
12%
Dependable Software
13%
Design Decisions
12%
Design Quality
12%
Distance Function
12%
Distance Query
18%
E-commerce Applications
18%
Econometric System
12%
Engineering Discipline
15%
Engineering Solution
16%
Engineering Trends
18%
Equivalent mutants
63%
Error Propagation
15%
Fast Pathway
13%
Fault Avoidance
15%
Fault Prediction
18%
Fault Removal
29%
Fault Tolerance
29%
Formal Definition
22%
Function Relationship
21%
Hours of Operation
12%
Imperative Programs
13%
Invariant Assertions
46%
Invariant Functions
50%
Invariant Relations
96%
Java
18%
Loop Functions
68%
Maintenance Program
13%
Mean Failure Cost
44%
Mutant Subsumption
16%
Mutation Equivalence
22%
Mutation Operator
13%
Mutation Testing
22%
Non-functional Attributes
40%
Program Comprehension
18%
Program Derivation
24%
Program Functions
13%
Program Repair
42%
Program Verification
19%
Programmer
20%
Programming Language Design
13%
Programming Languages
48%
Quality Attributes
26%
Quantitative Model
23%
Recognizer
13%
Redundancy
13%
Refinement Calculus
16%
Relation Function
18%
Relative Accuracy
100%
Response Time
12%
Reverse Engineering Software
13%
Road Network
15%
Security Measures
23%
Security Requirements
27%
Security Threats
53%
Semantic Metrics
18%
Software Architecture
78%
Software Architecture Quality
12%
Software Developers
13%
Software Engineering
90%
Software Engineering Research
13%
Software Evolution
13%
Software Maintenance
18%
Software Product
50%
Software System
20%
Software Technology
38%
Software Vulnerability
19%
Source Code
33%
Static Analysis
27%
Strongest Postcondition
16%
Subsumption
18%
Supervisory Control
18%
System Dependability
18%
System Security
18%
Technology Trends
18%
Theoretical Solution
13%
Two-point
12%
Value-based
18%
Value-based Measures
18%
Vulnerability
16%
Weakest Precondition
16%
While Loop
85%
Computer Science
Affine Transformation
9%
Algorithmic Complexity
9%
And-States
9%
Approximation (Algorithm)
27%
Architectural Description
34%
Architectural Level
17%
Architecture Analysis
9%
Architecture Level
9%
Automated Tool
56%
Bottom-Up Approach
9%
Case Study
30%
Cloud Computing System
9%
Commerce Application
18%
Component-Based Software Engineering
9%
Computer Algebra System
9%
Constraint Language
9%
Criticality
34%
Cybersecurity
45%
Data Structure
9%
Decision Maker
12%
Decision-Making
16%
Design Implementation
12%
Differentiator
9%
Directed Graphs
9%
Distance Function
15%
Engineering Discipline
10%
Engineering Paradigm
18%
Exceptional Condition
9%
Executable Program
9%
Expert Opinion
10%
fault-tolerance
45%
Formal Definition
22%
Geodesic Distance
12%
Geodesics
12%
Gold Standard
12%
Identify Instance
9%
Impact Analysis
9%
Key Management
9%
Key Performance Indicator
9%
Learning Systems
18%
Local Minimum
10%
Malicious Code
9%
Mean Time to Failure
9%
Monitoring Software
9%
Mutation Operator
18%
Objective Function
9%
Optimization Problem
9%
Partial Ordering
31%
Party Software
13%
Postcondition
36%
Program Analysis
11%
Program Comprehension
13%
Program Derivation
31%
Program Specification
9%
Program Verification
22%
Programming Language
38%
Quality Attribute
26%
quality of software
14%
Quantify Security
9%
Quantitative Attribute
9%
Recognizer
13%
Relational Operator
9%
Research Direction
9%
Research Effort
9%
Response Time
10%
Reverse Engineering
13%
Risk Management
12%
Root Cause Analysis
9%
Security Attribute
13%
Security Control
9%
Security Measure
29%
Security Model
13%
Security Requirements
36%
Software Application
13%
Software Architecture
85%
Software Development
31%
Software Engineer
9%
Software Engineering
89%
Software Evolution
13%
software fault
27%
Software Maintenance
13%
Software Product
62%
Software Quality Attribute
9%
Software Requirements
9%
Software Systems
22%
Software Technology
33%
Software Testing
16%
Source Codes
45%
Static Program Analysis
43%
Sufficient Condition
9%
Supervisory Control and Data Acquisition System
18%
Syntactics
20%
System Security
21%
System Specification
13%
Termination Condition
18%
Theoretic Approach
13%
Unified Modeling Language
9%
Use Case
12%
Weakest Precondition
25%
While Loop
95%