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