Implementation Relations for Distributed Testing.
Robert M. HieronsMercedes G. MerayoManuel NúñezPublished in: Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
- layered architecture
- embedded software
- multi agent
- cooperative
- test cases
- data sets
- model based testing
- distributed computing environment
- genetic algorithm
- distributed data
- efficient implementation
- distributed environment
- implementation details
- software testing
- hardware implementation
- communication cost
- fault tolerant
- distributed systems
- information systems
- search engine
- artificial intelligence
- neural network
- databases