Login / Signup

Supporting Verification of the Comprehensive Nuclear Test Ban Treaty through a Persistent Conversation Interface.

Stephanie A. GuerlainDonald E. BrownJohn GreenBrian HashemiRobert RauschenbergChristopher StacyRoger MasonJane Bohlin
Published in: HICSS (2001)
Keyphrases
  • test generation
  • user interface
  • model checking
  • intellectual property
  • friendly interface
  • bayesian networks
  • test cases
  • human computer interface
  • natural language interface
  • direct manipulation