基于可滿足性模理論求解器的程序路徑驗證方法
2017-05-12 10:55任勝兵吳斌張健威王志健
計算機應(yīng)用 2016年10期
任勝兵 吳斌 張健威 王志健
關(guān)鍵詞：路徑驗證：控制流圖：決策樹：基本路徑：可滿足性模理論求解器endprint
猜你喜歡
科學(xué)與信息化(2019年28期)2019-10-21
河北工業(yè)大學(xué)學(xué)報(2019年6期)2019-09-10
福建基礎(chǔ)教育研究(2019年4期)2019-05-28
婚姻與家庭·性情讀本(2018年11期)2018-01-14
讀與寫·教育教學(xué)版(2017年10期)2017-11-10
少年博覽·小學(xué)高年級(2017年4期)2017-04-18
科學(xué)與財富(2016年32期)2017-03-04
雜文選刊(2014年1期)2013-12-31
決策與信息·下旬刊(2013年1期)2013-03-11
浙江社會科學(xué)(2004年4期)2004-04-22
