Keyphrases
Software Engineering
90%
Relative Accuracy
65%
While Loop
62%
Invariant Relations
58%
Software Reuse
55%
Equivalent mutants
54%
Software Architecture
52%
Loop Functions
41%
Software Components
37%
Software Product
35%
Invariant Functions
35%
Programming Languages
34%
Program Repair
32%
Automated Tool
32%
Security Threats
32%
Fault Tolerance
31%
Invariant Assertions
29%
Mean Failure Cost
26%
Software Technology
25%
Fault Removal
24%
Software Maintenance
24%
Non-functional Attributes
24%
Program Verification
24%
Source Code
23%
User Requirements
21%
Architectural Language
21%
Program Construction
20%
Architectural Features
20%
Mutation Testing
20%
Architectural Level
19%
Programmer
19%
Cost Model
19%
C + +
19%
Relation-aware
19%
Quality Attributes
18%
Absolute Correctness
17%
Static Analysis
16%
Engineering Trends
16%
Executable Assertions
16%
Cybersecurity
16%
Java
16%
Subsumption
16%
Security Requirements
16%
Control Structure
16%
Computational Infrastructure
15%
Software System
15%
Formal Definition
15%
Engineering Discipline
14%
Change Propagation
14%
Program Derivation
14%
Computer Science
Software Engineering
100%
While Loop
63%
Software Reuse
59%
Software Architecture
57%
Software Product
45%
Automated Tool
45%
fault-tolerance
41%
Source Codes
38%
Software Component
37%
Cybersecurity
32%
Programming Language
31%
Case Study
29%
Software Development
28%
Static Program Analysis
26%
Software Maintenance
24%
Software Technology
22%
Program Verification
21%
software fault
21%
Postcondition
21%
Security Requirements
21%
Software Testing
21%
Architectural Description
21%
Criticality
21%
Formal Definition
19%
Program Derivation
19%
Partial Ordering
19%
Quality Attribute
18%
Security Measure
17%
And-States
16%
Approximation (Algorithm)
16%
Specification Language
16%
Mutation Operator
16%
User Requirement
16%
Weakest Precondition
15%
Software Systems
14%
Architectural Level
13%
Research Direction
12%
System Security
12%
Control Structure
12%
Syntactics
12%
Engineering Discipline
12%
Formal Description
10%
Transition System
10%
Termination Condition
10%
Statistical Study
10%
Commerce Application
10%
Theoretic Approach
10%
Learning Systems
10%
Functional Role
10%
Software Specification
10%
