1. Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables;Agarwal,2006
2. Temporal white-box testing using evolutionary algorithms;Al Moubayed,2009
3. Altera Corporation. Altera Nios-II Embedded Processors. http://www.altera.com/products/devices/nios/nioindex.html.
4. General test result checking with log file analysis;Andrews;IEEE Transactions on Software Engineering,2003
5. Foundations of Multithreaded, Parallel, and Distributed Programming;Andrews,2000