北村隆树 木村隆（工程博士）

高级研究员

信息技术研究所
国家先进工业科学技术研究所（AIST）

t.kitamura@aist.go.jp
日本大阪池田美多里冈1-8-31，邮编：563-8577
电话：+81-6-6494-8054
传真：+81-6494-8073

新增功能:

研究兴趣：形式化方法、软件测试、需求工程、软件工程

我负责以下赠款项目：

出版物（选定）：（另请参见DBLP公司 谷歌学者)

  1. 北村隆树、昆汀·梅森纽夫、蔡恩惠、西里尔·阿瑟、安吉洛·加甘蒂尼，“使用SAT求解生成修改条件决策覆盖范围的最佳测试套件。”第37届计算机安全、可靠性和安全国际会议记录（SAFECOMP 2018），第123-138页，瑞典瓦斯特拉斯，2018年9月19-21日，计算机科学（LNCS）11093讲稿，斯普林格2018，ISBN 978-3-319-99129-0[预印本]
  2. Hao Jin、Takashi Kitamura、Eun-Hye Choi、Tatsuhiro Tsuchiya，“基于可满足性的约束定位阵列生成方法”IWCT 2018:285-294
  3. 北村隆志、山田明久、鸠山由纪夫、樱木信雅、崔恩惠、西里尔·阿修，“带参数屏蔽的分类树方法”第36届国际计算机安全、可靠性和安全会议记录（SAFECOMP 2017），第230-241页，意大利特伦托，2017年9月13-15日，计算机科学（LNCS）10488讲稿，施普林格2017，ISBN 978-3-319-66265-7[预印本]
  4. 西里尔·阿尔索、昆廷·格罗斯、纪尧姆·卢塞特、川崎万载、马磊、北村高志、下宫正美、田本吉生、山本三郎：“Apache ZooKeeper的基于模型的API测试”，《第十届IEEE软件测试、验证和确认国际会议论文集》（ICST2017），第288-298页，IEEE CPS
  5. 山田明久、阿明·比尔、西里尔·阿修、北村高志、蔡恩惠、，“使用不可满足的核心生成贪婪的组合测试用例”，《第31届IEEE/ACM自动化软件工程国际会议论文集》（ASE 2016），第614-624页，2016年。[基准：公司_B]
  6. Eun-Hye Choi、Cyrille Artho、Takashi Kitamura、Osamu Mizuno、Akihisa Yamada：“距离综合组合测试”第27届IEEE软件可靠性工程国际研讨会论文集（ISSRE 2016），93-104加拿大渥太华，2016年10月23日至27日。IEEE计算机学会2016，ISBN 978-1-4673-9002-6
  7. 北村隆树、山田秋久、鸠山由纪夫、西里尔·阿修、恩惠·崔、，Ngoc Thi Bich Do、Yutaka Oiwa、Shinya Sakuragi、，“组合测试具有约束的树状测试模型”，《2015 IEEE软件质量、可靠性和安全国际会议论文集》（QRS2015），第141-150页IEEE CPS，2015年。最佳论文奖[预印本]
  8. Eun-Hye Choi、北村高志、西里尔·阿修、山田明久和玉田Oiwa、，“加权组合测试的优先集成”，英寸第39届国际计算机、软件和应用会议（COMPSAC2015），IEEE CPS，第242-247页，2015[预印本]
  9. 山田明久、北村隆树、西里尔·阿修、恩惠·崔、玉田大华、阿明·比尔、，“组合测试的优化增量SAT解决”，第八届IEEE软件测试、验证和确认国际会议记录（ICST2015），IEEE CPS，2015年第1-10页[预印本]
  10. Eun-Hye Choi、北村隆志、西里尔·阿修和Yutaka Oiwa，“设计优先N型测试”，第26届国际知识产权联合会会议记录国际测试软件和系统会议（ICTSS2014），讲座计算机科学笔记（LNCS），第8763卷，第页。186-191年，斯普林格，马德里，2014年。[预印本]
  11. Do Thi Bich Ngoc、Takashi Kitamura、Nguyen Van Tang、Goro Hatayama、Shinya Sakuragi和Hitoshi Ohsaki，“从基于树的测试模型构建N级测试的测试用例”，《第四届信息与通信技术国际研讨会论文集》（SoICT2013），第页。275-284，ACM ICPS，ISBN:978-1-4503-2454-0，越南岘港，2013年。[预印本]
  12. 北村隆树和冈本圭史，“使用NuSMV模型检查器进行牛奶运输物流的自动化路线规划”，IEICE交易卷E96-D，第12号，第页。2013年12月，2555-2564。[预印本]
  13. 北村隆树和冈本圭史，“使用模型检查实现牛奶运输物流的自动化路线规划”，《第三届网络与计算国际会议论文集》（ICNC2012），第页。240-246，IEEE计算机社会出版社，日本冲绳，2012[预印本]
  14. 北村隆树、Ngoc Thi Bich Do、Hitoshi Ohsaki、Fang Ling、Yatabe Shunsuke“通过特征树进行测试用例设计”，《第五届利用形式方法应用、验证和确认国际研讨会论文集》（ISoLA2012），计算机科学（LNCS）讲稿，第7609卷，第页。458-473，施普林格，2012年10月15-18日，克里特岛，2012[预印本]
  15. 北村隆、冈本圭司、竹山诚、，“基于Jackson需求和规范参考模型的形式验证和需求管理”，第16届IEEE环太平洋可靠计算国际研讨会论文集（PRDC 2010），第页。251-252，IEEE计算机学会出版社，日本东京，2010年12月13-15日
  16. 北村隆树和林惠民，“指定模块化Pi-calculus的属性”，第二届IEEE软件工程理论方面国际研讨会论文集（TASE’08），中国南京，2008年6月17日至19日
  17. 北村隆树和林惠民，“控制移动计算中的进程模块化”，第四届国际计算理论研讨会论文集（ICTAC 2007），计算机科学（LNCS）讲稿，第1686卷，第246-259页，施普林格出版社，2007年9月
  18. 北村隆志（Takashi Kitamura）和多加西（Atsushi Togashi）。“将进程与实时属性“”关联，《计算机和信息科学年度国际会议论文集》（ICIS’02），韩国首尔，2002年

日语出版物：

  1. 山田明久和北村隆志”关于组合测试工具Calot的开发"[预印本]

就业：

教育程度：

学术活动（国际）：

学术活动（国内）：

奖品：