Input-Driven Active Testing of Multi-threaded Programs.

Han Yue Peng Wu Tsong Yueh Chen Yi Lv

Published in: APSEC (2015)

Keyphrases

multi threaded
operating system
information flow
multithreading
multi core processors
computer architecture
real time
genetic algorithm
general purpose
computer systems