Sign in

Implementation relations and test generation for systems with distributed interfaces.

Robert M. HieronsMercedes G. MerayoManuel Núñez
Published in: Distributed Comput. (2012)
Keyphrases
  • distributed systems
  • test generation
  • design automation
  • multi agent
  • building blocks
  • distributed environment
  • computing environments
  • databases
  • user interface
  • peer to peer
  • static analysis