• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

NRL invitational workshop on testing and proving: two approaches to assurance.

Carl E. LandwehrSusan L. GerhartJohn D. McLeanDonald I. GoodNancy Leveson
Published in: ACM SIGSOFT Softw. Eng. Notes (1986)
Keyphrases
  • databases
  • database
  • data sets
  • genetic algorithm
  • search engine
  • image processing
  • alternative approaches