Symbolic Testing of OpenCL Code

This publication has 16 references indexed in Scilit:

• GKLEE
  Published by Association for Computing Machinery (ACM) ,2012
• Parallel symbolic execution for automated real-world software testing
  Published by Association for Computing Machinery (ACM) ,2011
• Symbolic crosschecking of floating-point and SIMD code
  Published by Association for Computing Machinery (ACM) ,2011
• Performance analysis of the OP2 framework on many-core architectures
  ACM SIGMETRICS Performance Evaluation Review, 2011
• A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL
  Published by Springer Nature ,2011
• Scalable SMT-based verification of GPU kernel functions
  Published by Association for Computing Machinery (ACM) ,2010
• FastTrack
  Published by Association for Computing Machinery (ACM) ,2009
• Hardware verification using ANSI-C programs as a reference
  Published by Association for Computing Machinery (ACM) ,2003
• Translation validation for an optimizing compiler
  Published by Association for Computing Machinery (ACM) ,2000
• A new approach to program testing
  Published by Association for Computing Machinery (ACM) ,1975