Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.

Dhriti Khanna Rahul Purandare Subodh Sharma

Published in: ICST (2021)

Keyphrases

multi threaded
multithreading
multi core processors
operating system
computer architecture
information flow
real time
scheduling problem
computer networks
high level
query processing
computational intelligence
communication networks
highly efficient