DoD Directive[removed], September 3, 1997

First Page		Document Content
Date: 2007-01-22 10:15:43 Defense Intelligence Agency United States Department of Defense Unified Combatant Command Joint Chiefs of Staff Office of the Secretary of Defense Military United States Military acquisition Defense Science Board Middle States Association of Colleges and Schools National Defense University Under Secretary of Defense for Policy		DoD Directive[removed], September 3, 1997 Add to Reading List Source URL: www.dtic.mil Download Document from Source Website File Size: 21,92 KB Share Document on Facebook

	Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi DocID: 1voW6 - View Document
	Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China DocID: 1um1A - View Document
	Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen DocID: 1ueEU - View Document
	0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier DocID: 1tXkC - View Document
	Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China DocID: 1tRPK - View Document