Academic
Academic
Home
News
Courses
Projects
Publications
Students
Contact
Light
Dark
Automatic
Accelerated Test Execution using GPUs
Ajitha Rajan
,
Subodh Sharma
,
Peter Schrammel
,
Daniel Kroening
September 2014
PDF
Cite
Type
Conference paper
Publication
ACM/IEEE International Conference on Automated Software Engineering, 2014, Sweden
testing
GPU
Subodh Sharma
Assistant Professor and Pankaj Gupta Chair Professor in Privacy and Decentralisation
Related
Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
POLLUX: Safely Upgrading Dependent Application Libraries
Cite
×