Baker Botts L.L.P.
Symbolic execution and test generation for GPU programs
In particular embodiments, a method includes accessing bytecode generated by a compiler from a software program for execution by a particular processing unit; accessing configuration information describing one or more aspects of the particular processing unit; symbolically executing the bytecode with the configuration information; and, based on the symbolic execution, generating one or more results conveying a functional correctness of the software program with respect to the particular processing unit for communication to a user and generating one or more test cases for the software program for communication to a user.
Fujitsu Limited
G G
G06F G06F
inventional inventional
Indradeep Sreeranga P. Guodong
Ghosh Rajan Li