Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle.

Soonuk SeolMyungchul KimSamuel T. ChansonSungwon Kang
Published in: IEEE J. Sel. Areas Commun. (2004)
Keyphrases
  • communication protocols
  • test generation
  • test cases
  • web services
  • information systems
  • symbolic execution
  • data sets
  • databases
  • metadata
  • database systems
  • communication protocol
  • design automation