咨询与建议

限定检索结果

文献类型

  • 20 篇 会议
  • 3 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 26 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 22 篇 工学
    • 17 篇 软件工程
    • 15 篇 计算机科学与技术...
    • 3 篇 电气工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
  • 3 篇 理学
    • 2 篇 数学
    • 1 篇 系统科学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 26 篇 java pathfinder
  • 16 篇 model checking
  • 3 篇 jpf
  • 3 篇 software model c...
  • 2 篇 wilderness searc...
  • 2 篇 design validatio...
  • 2 篇 unmanned aerial ...
  • 2 篇 user datagram pr...
  • 2 篇 human machine in...
  • 2 篇 fault protection
  • 2 篇 sysml
  • 2 篇 verification
  • 2 篇 statechart
  • 2 篇 model execution
  • 1 篇 random search
  • 1 篇 souběžnost
  • 1 篇 android applicat...
  • 1 篇 (probabilistic) ...
  • 1 篇 complex systems
  • 1 篇 defect discovery

机构

  • 2 篇 chiba univ chiba
  • 2 篇 univ tokyo
  • 2 篇 aist risec amaga...
  • 2 篇 univ stellenbosc...
  • 1 篇 nasa ames resear...
  • 1 篇 univ waterloo wa...
  • 1 篇 univ west bohemi...
  • 1 篇 howard univ wash...
  • 1 篇 univ southern ca...
  • 1 篇 european so obse...
  • 1 篇 university of li...
  • 1 篇 durham universit...
  • 1 篇 european souther...
  • 1 篇 charles univ pra...
  • 1 篇 univ oxford oxfo...
  • 1 篇 univ limerick le...
  • 1 篇 inst politecn le...
  • 1 篇 university of li...
  • 1 篇 engn res ctr mob...
  • 1 篇 computer science...

作者

  • 4 篇 artho cyrille
  • 2 篇 yamamoto mitsuha...
  • 2 篇 visser willem
  • 2 篇 marinov darko
  • 2 篇 hagiya masami
  • 2 篇 sebih nazim
  • 2 篇 tanabe yoshinori
  • 2 篇 lauterburg steve...
  • 2 篇 weitl franz
  • 1 篇 parizek pavel
  • 1 篇 botha heila
  • 1 篇 john day
  • 1 篇 corrina gibson
  • 1 篇 yokoyama shoichi
  • 1 篇 tj gledhill
  • 1 篇 欧阳志强
  • 1 篇 rafael h. bordin...
  • 1 篇 viswanathan mahe...
  • 1 篇 potuzak tomas
  • 1 篇 zhou zhi quan

语言

  • 23 篇 英文
  • 3 篇 中文
检索条件"主题词=Java pathfinder"
26 条 记 录,以下是21-30 订阅
排序:
面向构件接口变异的模型检验技术研究
收藏 引用
电脑知识与技术(过刊) 2010年 第3X期16卷 1954-1956页
作者: 张侹 王璠 韩柯 欧阳志强 解放军理工大学指挥自动化学院 江苏南京210007 中国电子系统设备工程公司研究所 北京100141 西安体育学院 陕西西安710068
随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的... 详细信息
来源: 评论
User-Friendly GUI in Software Model Checking
User-Friendly GUI in Software Model Checking
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: Yokoyama, Shoichi Sato, Haruhiko Kurihara, Masahito Hokkaido Univ Grad Sch Informat Sci & Technol Sapporo Hokkaido Japan
Model Checking is an automatic technique for verifying finite-state concurrent systems such as communication protocols and sequential circuit designs. It has a number of advantages over traditional approaches to this ... 详细信息
来源: 评论
Incremental State-Space Exploration for Programs with Dynamically Allocated Data  08
Incremental State-Space Exploration for Programs with Dynami...
收藏 引用
30th International Conference on Software Engineering
作者: Lauterburg, Steven Sobeih, Ahmed Marinov, Darko Viswanathan, Mahesh Univ Illinois Dept Comp Sci Urbana IL 61801 USA
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checking and an increasingly popular method f... 详细信息
来源: 评论
A flexible framework for verifying agent programs  08
A flexible framework for verifying agent programs
收藏 引用
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
作者: Louise A. Dennis Berndt Farwer Rafael H. Bordini Michael Fisher University of Liverpool UK Durham University UK
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platfo... 详细信息
来源: 评论
Partial verification of software components: Heuristics for environment construction
Partial verification of software components: Heuristics for ...
收藏 引用
33rd EUROMICRO Conference on Software Engineering and Advanced Applications
作者: Parizek, Pavel Plasil, Frantisek Charles Univ Prague Fac Math & Phys Dept Software Engn Malostranske Namesti 25 Prague 11800 1 Czech Republic Acad Sci Czech Republic Inst Comp Sci Prague Czech Republic
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single component typically comprises a smaller stat... 详细信息
来源: 评论
Bounded model checking v nástroji java pathfinder
Bounded model checking v nástroji Java PathFinder
收藏 引用
作者: Dudka, Vendula Brno University of Technology
Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zam... 详细信息
来源: 评论