Keyphrases
Structural Coverage
81%
Coverage Metrics
69%
Coverage Criteria
66%
Formal Methods
61%
Test Case Generation
57%
Model-driven Development
57%
Inductive Validity Cores
51%
Safety Properties
49%
Model Checker
44%
Architectural Design
43%
Test Oracle
42%
Assume-guarantee Contracts
40%
Architectural Model
40%
Oracle
37%
Avionics
36%
Medical Devices
36%
Architectural Analysis
34%
Cyber-physical Systems
34%
System Components
34%
Safety Analysis
32%
Safety-critical Systems
32%
Fault Locating
31%
Formal Verification
30%
Lustre
30%
Symbolic Execution
28%
Java
28%
Simulink
28%
Formal Analysis Tools
26%
Critical Software
26%
Specification Language
26%
System Architecture
25%
Program Structure
24%
Design Language
24%
Deviation Analysis
22%
Vehicle Software
22%
Compositional Verification
22%
CubeSat
22%
Efficient Generation
22%
Attitude Control System
22%
Hierarchical State Machine
22%
State Machine
22%
Rangers
22%
Flight Control System
22%
Algebraic Data Types
22%
Catamorphism
22%
System Design
21%
Failure Condition
20%
Test Adequacy Criteria
20%
Software Development
20%
Decision Procedure
20%
Computer Science
Structural Coverage
100%
Avionics
93%
Coverage Criterion
78%
model checker
78%
Safety Critical Systems
61%
Simulink
53%
Case Generation
53%
Model Checking
51%
Software Development
49%
Test Generation
44%
System Architecture
43%
Symbolic Execution
41%
Testing Process
40%
Cyber Physical Systems
38%
State Machine
34%
Critical Software
34%
Critical System
32%
Specification Language
32%
Formal Verification
32%
Decision Procedure
28%
Architecture Design
26%
Formal Specification
25%
Design Language
24%
Architectural Design
24%
Data Type
22%
Architecture Analysis
22%
Industrial System
22%
Virtual Integration
22%
Requirements Analysis
22%
Code Generator
22%
Software Testing
22%
System Development
22%
Application under Test
22%
Traceability Information
22%
Failure Condition
20%
Development Process
20%
Embedded System
20%
Architectural Model
19%
System Requirement
19%
Software Systems
19%
Requirement Level
19%
Experimental Result
18%
Requirements Models
17%
Medical Cyber - Physical System
17%
Architecture Model
17%
Significance Level
17%
Formalization
17%
Code Generation
17%
Case Study
17%
Fault Tree
17%
