咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Abstractions for Executable and Checkable Fault Management Models
Abstractions for Executable and Checkable Fault Management M...
收藏 引用
Conference on Systems Engineering Research
作者: Gibson, Corrina Karban, Robert Andolfato, Luigi Day, John CALTECH Jet Prop Lab Pasadena CA 91011 USA European So Observ D-85748 Garching Germany
The work presented in this paper describes an approach used to develop SysML modeling patterns to express the logical behavior of fault protection (FP), test the model's logic via fault injection simulations, and ... 详细信息
来源: 评论
Probabilistic Model Checking of Randomized java Code  27th
Probabilistic Model Checking of Randomized Java Code
收藏 引用
27th International Symposium on Model Checking Software (SPIN)
作者: Fatmi, Syyeda Zainab Chen, Xiang Dhamija, Yash Wildes, Maeve Tang, Qiyi van Breugel, Franck York Univ Toronto ON Canada Univ Waterloo Waterloo ON Canada McGill Univ Montreal PQ Canada Univ Oxford Oxford England
java pathfinder (JPF) and PRISM are the most popular model checkers for java code and systems that exhibit random behaviour, respectively. Our tools make it possible to use JPF and PRISM together. For the first time, ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Comparing Metaheuristic Algorithms for Error Detection in java Programs
收藏 引用
3rd International Symposium on Search-Based Software Engineering, SSBSE 2011
作者: Chicano, Francisco Ferreira, Marco Alba, Enrique Univ Malaga E-29071 Malaga Spain Inst Politecn Leiria Leiria Portugal
Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is ... 详细信息
来源: 评论
Modeling UASs for Role Fusion and Human Machine Interface Optimization
Modeling UASs for Role Fusion and Human Machine Interface Op...
收藏 引用
IEEE International Conference on Systems, Man, and Cybernetics (SMC)
作者: Gledhill, T. J. Mercer, Eric Goodrich, Michael A. Brigham Young Univ Dept Comp Sci Provo UT 84602 USA
Currently, a single Unmanned Aerial System (UAS) requires several humans managing different aspects of the problem. Human roles often include vehicle operators, payload experts, and mission managers [1-3]. As a step t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Software Model Checking of UDP-based Distributed Applications  2
Software Model Checking of UDP-based Distributed Application...
收藏 引用
International Symposium on Computing and Networking CANDAR
作者: Sebih, Nazim Weitl, Franz Artho, Cyrille Hagiya, Masami Tanabe, Yoshinori Yamamoto, Mitsuharu Univ Tokyo Tokyo Japan Chiba Univ Chiba Japan AIST RISEC Amagasaki Hyogo Japan Natl Inst Informat Tokyo Japan
We extend exhaustive verification of networked applications to applications using the User Datagram Protocol (UDP). UDP maximizes performance by omitting flow control and connection handling. High-performance services... 详细信息
来源: 评论
Simulation Testing and Model Checking: A Case Study Comparing these Approaches  6
Simulation Testing and Model Checking: A Case Study Comparin...
收藏 引用
6th International Workshop on Software Engineering for Resilient Systems (SERENE)
作者: Lipka, Richard Paska, Marek Potuzak, Tomas Univ West Bohemia NTIS Plzen 30614 Czech Republic Univ West Bohemia Fac Sci Appl Dept Comp Sci & Engn Plzen Czech Republic
One of the challenging problems in software development is the assuring of the correctness of the created software. During our previous research, we developed a framework for the simulation-based testing of software c... 详细信息
来源: 评论
Cardinality of UDP Transmission Outcomes  1st
Cardinality of UDP Transmission Outcomes
收藏 引用
1st International Symposium on Dependable Software Engineering - Theories, Tools and Applications (SETTA)
作者: Weitl, Franz Sebih, Nazim Artho, Cyrille Hagiya, Masami Tanabe, Yoshinori Yamagata, Yoriyuki Yamamoto, Mitsuharu Chiba Univ Chiba Japan AIST RISEC Amagasaki Hyogo Japan Univ Tokyo Tokyo Japan Tsurumi Univ Yokohama Kanagawa Japan
This paper examines the cost of testing network applications using the User Datagram Protocol (UDP). Such applications must deal with packet loss, duplication, and reordering. Ideally, a UDP application should be test... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论