Sign in

Testing the untestable: model testing of complex software-intensive systems.

Lionel C. BriandShiva NejatiMehrdad SabetzadehDomenico Bianculli
Published in: ICSE (Companion Volume) (2016)
Keyphrases
  • computational model
  • test data
  • database
  • high level
  • relational databases
  • databases
  • case study
  • information technology
  • decision support system
  • test cases
  • model checking