Ruo Ando. Parallel analysis of polymorphic viral code using automated deduction system. In Wenying Feng, Feng Gao, editors, Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China. pages 585-592, IEEE Computer Society, 2007. [doi]
Abstract is missing.