Testing the IPC Protocol for a Real-Time Operating System.

Achim D. Brucker Oto Havle Yakoub Nemouchi Burkhart Wolff

Published in: VSTTE (2015)

Keyphrases

lightweight
communication protocol
tcp ip
genetic algorithm
test data
formal analysis
application layer
key distribution
digital libraries
test cases
wireless networks
test suite
network protocols