Chaining Test Cases for Reactive System Testing

相似書籍

• Generating test case chains for reactive systems
  由: Schrammel, P, et al.
  出版: (2016)
• Accelerated test execution using GPUs
  由: Rajan, A, et al.
  出版: (2014)
• Accelerated test execution using GPUs
  由: Rajan, A, et al.
  出版: (2014)
• Unbounded Safety Verification for Hardware Using Software Analyzers
  由: Mukherjee, R, et al.
  出版: (2015)
• Lifting CDCL to template-based abstract domains for program verification
  由: Mukherjee, R, et al.
  出版: (2017)