中文摘要：

E-mail： dianxiang.xu@dsu.edu; Dian-Xiang Xu received the B.S., M.S., and Ph.D. degrees in computer science from Nanjing University, China in 1989, 1992, and 1995, respectively. He is currently an associate professor with the National Center for the Protection of the Financial Infrastructure at Dakota State University in South Dakota, USA. He was assistant professor ofcomputer science at North Dakota State University from July 2003 to May 2009, research assistant professor and en- gineer of computer science at Texas A＆M University from August 2000 to July 2003, and research associate at Florida International University from May 1999 to August 2000. Prior to that, he was associate professor and associate department chair of the Department of Computer Science and Technology, Nanjing University. His research interests are in the areas of software security, software testing, aspectoriented software development, and applied formal methods. He is a senior member of the IEEE. omar.elariss@ndsu.edu; Omar EI-Ariss received his B.S. and M.S. degrees in computer science from the Lebanese American University, Beirut, Lebanon in 2001 and 2005 respectively. He is currently pursuing his Ph.D. degree at the Computer Science Department in North Dakota State University. His research interests are in the areas of software safety, software security,software modeling and verification, and software testing. xu001@gannon.edu; Wei-Feng Xu received the B.S. and M.S. degrees in computer science from Southeast Missouri State University and Towson University in 2000 and 2002, respectively. He received his Ph.D. degree in software engineering from North Dakota State University in 2007. Currently, Dr. Xu is the director of Keystone Software Development Institute and anassistant professor of software engineering at Gannon Umversity in Erie, PA. He also serves as an IT consultant for General Electric＇s Locomotive Remote Diagnostics Service Center in developing an innovative remote monitoring system. His research interests include softwar