Model-based testing of automotive distributed systems with automated prioritization.
Lukas KrejciJiri NovákPublished in: IDAACS (2017)
Keyphrases
- distributed systems
- model based testing
- security policies
- test cases
- fault tolerant
- distributed environment
- load balancing
- geographically distributed
- fault tolerance
- software development
- software design
- operating system
- distributed computing
- real time systems
- deadlock detection
- sequence diagrams
- software architecture
- neural network
- mobile agents
- knowledge management
- data replication
- distributed database systems
- anomaly detection
- software testing
- loosely coupled
- access control
- regression testing
- open source
- mobile agent system
- database