Extended concepts and for testing software, combining technologies such as Unit / Integration Tests, Interface Testing or Formal Methods such as Model Checking.