Keyphrases
Lightweight Formal Methods
100%
Physical Units
66%
System Development
50%
Mobile Robotic Systems
50%
Mobile Robot
50%
System Developers
33%
Robot System
33%
Behavior Trees
33%
Robotic System
25%
Type Inference
16%
Model-driven Engineering
16%
Software Defect
16%
Robot Autonomy
16%
Abstract Data Types
16%
Comparing Groups
16%
Lightweight Methods
16%
Video Game Development
16%
Dirty Work
16%
Program Testing
16%
Robotics Software
16%
Testing Effort
16%
Continuous Integration
16%
System Development Process
16%
Prototype Robot
16%
Game Development Tools
16%
Special Software
16%
People Capabilities
16%
Dangerous Work
16%
Continuous Deployment
16%
Test Case Prioritization
16%
Software Engineering
16%
System Testing
16%
System Implementation
8%
Automated Analysis
8%
Prioritization Method
8%
Review Criteria
8%
Software System
8%
Recent Advances
8%
Healthcare
8%
Model-based Testing
8%
System Test Case
8%
Test Coverage
8%
Novel Patterns
8%
Track-before-detect
8%
Economically Feasible
8%
Formal Methods
8%
Human Effort
8%
Tree Structure
8%
Electrical Engineering
8%
Future Workforce
8%
Hardware Complexity
8%
Software Reliability
8%
National Defense
8%
Expected Outcomes
8%
Mechanical Engineering
8%
Agriculture
8%
Impact Review
8%
Computer Science
Mobile Robot Systems
100%
System Development
50%
Robot
50%
Mobile Robot
37%
System Developer
25%
Software Development Tool
18%
Game Development
12%
Modern Software
12%
Type Inference
12%
Software Defect
12%
Continuous Deployment
12%
Coverage Test
12%
videogame
12%
Testing Effort
12%
Continuous Integration
12%
Software Engineering
12%
Model Checking
6%
Building Software
6%
Program Analysis
6%
Software Systems
6%
Mobile Robotics
6%
Development Tool
6%
System Implementation
6%
Expected Outcome
6%
Development Process
6%
Health Care
6%