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