咨询与建议

限定检索结果

文献类型

  • 15 篇 期刊文献
  • 15 篇 会议
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 30 篇 工学
    • 23 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 4 篇 电气工程
    • 3 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 31 篇 software testing...
  • 5 篇 software and its...
  • 4 篇 software testing
  • 3 篇 multicores
  • 3 篇 real-time embedd...
  • 3 篇 program tracing
  • 3 篇 computing method...
  • 2 篇 concurrency prog...
  • 2 篇 spectrum-based l...
  • 2 篇 operating system...
  • 2 篇 program repair
  • 2 篇 grammars and con...
  • 2 篇 parallel program...
  • 2 篇 web applications
  • 2 篇 concurrency bugs
  • 2 篇 test flakiness
  • 1 篇 video retrieval
  • 1 篇 software archite...
  • 1 篇 and machine lear...
  • 1 篇 reliability

机构

  • 2 篇 cnr isti cnr pis...
  • 2 篇 univ alabama dep...
  • 2 篇 kth royal inst t...
  • 2 篇 univ oviedo comp...
  • 2 篇 purdue univ w la...
  • 1 篇 univ michigan an...
  • 1 篇 mpi sws kaisersl...
  • 1 篇 jiangxi univ fin...
  • 1 篇 cispa helmholtz ...
  • 1 篇 wuhan univ sch c...
  • 1 篇 univ oulu ctr ub...
  • 1 篇 univ nottingham ...
  • 1 篇 hong kong univ s...
  • 1 篇 google deepmind ...
  • 1 篇 oslo metropolita...
  • 1 篇 univ paris cite ...
  • 1 篇 arizona state un...
  • 1 篇 inst polytech pa...
  • 1 篇 google res bosto...
  • 1 篇 al al bayt univ ...

作者

  • 3 篇 bertolino antoni...
  • 3 篇 milenkovic aleks...
  • 2 篇 moran jesus
  • 2 篇 ponugoti mounika
  • 2 篇 de la riva claud...
  • 2 篇 fonseca pedro
  • 2 篇 maniatis petros
  • 2 篇 chen tsong yueh
  • 2 篇 tuya javier
  • 2 篇 augusto cristian
  • 2 篇 gong sishuai
  • 2 篇 altinbuken deniz
  • 2 篇 fischer bernd
  • 2 篇 tewar amrish k.
  • 1 篇 tufano michele
  • 1 篇 taesiri mohammad...
  • 1 篇 ling haibin
  • 1 篇 liu bo
  • 1 篇 kuutila miikka
  • 1 篇 xu fanjiang

语言

  • 31 篇 英文
检索条件"主题词=software testing and debugging"
31 条 记 录,以下是21-30 订阅
排序:
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities  26
Sorting and Transforming Program Repair Ingredients via Deep...
收藏 引用
26th IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)
作者: White, Martin Tufano, Michele Martinez, Matias Monperrus, Martin Poshyvanyk, Denys Coll William & Mary Williamsburg VA 23185 USA Univ Polytech Hauts De France Valenciennes France KTH Royal Inst Technol Stockholm Sweden
In the field of automated program repair, the redundancy assumption claims large programs contain the seeds of their own repair. However, most redundancy-based program repair techniques do not reason about the repair ... 详细信息
来源: 评论
SNOWCAT: Efficient Kernel Concurrency testing using a Learned Coverage Predictor  23
SNOWCAT: Efficient Kernel Concurrency Testing using a Learne...
收藏 引用
29th ACM Symposium on Operating Systems Principles (SOSP)
作者: Gong, Sishuai Peng, Dinglan Altinbuken, Deniz Fonseca, Pedro Maniatis, Petros Purdue Univ W Lafayette IN 47907 USA Google DeepMind New York NY USA
Random-based approaches and heuristics are commonly used in kernel concurrency testing due to the massive scale of modern kernels and corresponding interleaving space. The lack of accurate and scalable approaches to a... 详细信息
来源: 评论
A Heuristic Region-based Concurrency Bug testing Approach  18
A Heuristic Region-based Concurrency Bug Testing Approach
收藏 引用
18th IEEE Int Symp on Parallel and Distributed Proc with Applicat (ISPA) / 10th IEEE Int Conf on Big Data and Cloud Comp (BDCloud) / IEEE Int Symp on Social Comp and Networking (SocialCom) / IEEE Int Conf on Sustainable Comp and Commun (SustainCom)
作者: Chin, Kuo-Cheng Tsay, Ren-Song Wu, Hsin-I Natl Tsing Hua Univ Inst Informat Syst & Applicat Taipei Taiwan Natl Tsing Hua Univ Dept Elect Engn Hsinchu Taiwan Natl Tsing Hua Univ Dept Comp Sci Hsinchu Taiwan
In this paper, we propose an effective concurrency bug testing approach that focuses on suspicious bug-causing code regions instead of indiscriminately testing the whole program. Additionally, with a simple loop heuri... 详细信息
来源: 评论
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis  21
Snowboard: Finding Kernel Concurrency Bugs through Systemati...
收藏 引用
28th ACM Symposium on Operating Systems Principles (SOSP)
作者: Gong, Sishuai Altinbuken, Deniz Fonseca, Pedro Maniatis, Petros Purdue Univ W Lafayette IN 47907 USA Google Res Boston MA USA
Kernel concurrency bugs are challenging to find because they depend on very specific thread interleavings and test inputs. While separately exploring kernel thread interleavings or test inputs has been closely examine... 详细信息
来源: 评论
testing Embedded software by Metamorphic testing: a Wireless Metering System Case Study
Testing Embedded Software by Metamorphic Testing: a Wireless...
收藏 引用
36th Annual IEEE Conference on Local Computer Networks (LCN)
作者: Kuo, Fei-Ching Chen, Tsong Yueh Tam, Wing K. Swinburne Univ Technol Fac Informat & Commun Technol Hawthorn Vic 3122 Australia
In this paper, we present our experience of testing wireless embedded software. We used a wireless metering system in operation, and its software as a case study to demonstrate how a property-based testing technique, ... 详细信息
来源: 评论
Finding and Tolerating Concurrency Bugs
Finding and Tolerating Concurrency Bugs
收藏 引用
作者: Yu, Jie University of Michigan
学位级别:Ph.D.
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can interleave in so many different ways. To... 详细信息
来源: 评论
Spectrum-based rule- and item-level localization of faults in context-free grammars
收藏 引用
JOURNAL OF SYSTEMS AND software 2024年 215卷
作者: Raselimo, Moeketsi Fischer, Bernd Stellenbosch Univ Stellenbosch South Africa
We describe and evaluate spectrum -based methods aimed at finding faults in context -free grammars. In their basic form, they take as input a test suite and a parser for the grammar that is modified to collect grammar... 详细信息
来源: 评论
Grammar-based test suite construction using coverage-directed algorithms over LR-graphs
收藏 引用
JOURNAL OF SYSTEMS AND software 2024年 214卷
作者: Rossouw, Christoff Fischer, Bernd Stellenbosch Univ Div Comp Sci Stellenbosch South Africa
In grammar -based testing, the test suites that drive the system under test are typically constructed from a given context -free grammar through a set of derivations that jointly satisfy some coverage criterion. In th... 详细信息
来源: 评论
An Integrated Framework for Developing Discrete-Time Modelling in software Reliability Engineering
收藏 引用
QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL 2016年 第8期32卷 2925-2943页
作者: Shatnawi, Omar Al Al Bayt Univ Dept Comp Sci Mafraq 25113 Jordan
In the software reliability engineering literature, few attempts have been made to study the fault debugging environment using discrete-time modelling. Most endeavours assume that a detected fault to have been either ... 详细信息
来源: 评论
A Two-Stage Algorithm for Identifying software Failure Regions
收藏 引用
IEEE TRANSACTIONS ON RELIABILITY 2024年
作者: Mao, Chengying Zhu, Zheng Chen, Tsong Yueh Towey, Dave Wen, Linlin Chen, Jifu Jiangxi Univ Finance & Econ Sch Software & IoT Engn Nanchang 330013 Peoples R China Zhejiang Univ Sch Software Technol Ningbo 315048 Peoples R China Swinburne Univ Technol Dept Comp Sci & Software Engn Hawthorn Vic 3122 Australia Univ Nottingham Ningbo China Sch Comp Sci Ningbo 315100 Peoples R China
software developers can only obtain a very small amount of information from the individual failure-causing inputs, which makes debugging difficult. Therefore, it is necessary to explore additional failure-causing inpu... 详细信息
来源: 评论