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