Academic
Academic
Home
News
Teaching
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
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
POLLUX: Safely Upgrading Dependent Application Libraries
Verifying and Testing Concurrent Programs using Constraint Solver based Approaches
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Unfolding-based Partial Order Reduction
Cite
×