咨询与建议

限定检索结果

文献类型

  • 398 篇 会议
  • 343 篇 期刊文献
  • 3 篇 学位论文
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 650 篇 工学
    • 441 篇 软件工程
    • 376 篇 电气工程
    • 306 篇 计算机科学与技术...
    • 52 篇 控制科学与工程
    • 19 篇 信息与通信工程
    • 16 篇 电子科学与技术(可...
    • 11 篇 土木工程
    • 8 篇 机械工程
    • 8 篇 交通运输工程
    • 7 篇 航空宇航科学与技...
    • 6 篇 材料科学与工程(可...
    • 5 篇 仪器科学与技术
    • 4 篇 地质资源与地质工...
    • 4 篇 环境科学与工程(可...
    • 4 篇 网络空间安全
    • 3 篇 建筑学
  • 47 篇 管理学
    • 34 篇 管理科学与工程(可...
    • 8 篇 图书情报与档案管...
    • 6 篇 工商管理
    • 4 篇 公共管理
  • 36 篇 理学
    • 19 篇 数学
    • 8 篇 系统科学
    • 4 篇 物理学
    • 3 篇 生物学
    • 2 篇 地球物理学
  • 9 篇 医学
    • 3 篇 临床医学
    • 3 篇 公共卫生与预防医...
  • 7 篇 教育学
    • 7 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 3 篇 文学
    • 2 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 法学
  • 1 篇 农学
  • 1 篇 艺术学

主题

  • 746 篇 program testing
  • 110 篇 software testing
  • 83 篇 software enginee...
  • 62 篇 software quality
  • 53 篇 program debuggin...
  • 52 篇 program verifica...
  • 48 篇 computer softwar...
  • 47 篇 testing
  • 41 篇 software tools
  • 40 篇 software develop...
  • 40 篇 formal specifica...
  • 39 篇 software reliabi...
  • 38 篇 java
  • 33 篇 software mainten...
  • 31 篇 program diagnost...
  • 31 篇 software
  • 30 篇 software fault t...
  • 30 篇 casing inspectio...
  • 30 篇 diagnostic, test...
  • 27 篇 debugging

机构

  • 5 篇 univ nebraska de...
  • 4 篇 george mason uni...
  • 4 篇 univ washington ...
  • 4 篇 univ texas austi...
  • 3 篇 natl res univ hi...
  • 3 篇 nanjing univ sta...
  • 3 篇 univ maryland de...
  • 3 篇 pec univ technol...
  • 3 篇 n carolina state...
  • 3 篇 wageningen univ ...
  • 3 篇 jiangsu univ sch...
  • 3 篇 ibm corp thomas ...
  • 3 篇 univ zurich dept...
  • 3 篇 univ york dept c...
  • 3 篇 nimble res monro...
  • 3 篇 hacettepe univ s...
  • 3 篇 graz univ techno...
  • 2 篇 nanjing univ sof...
  • 2 篇 georgia inst tec...
  • 2 篇 politecn milan d...

作者

  • 8 篇 garousi vahid
  • 7 篇 weyuker ej
  • 6 篇 rothermel gregg
  • 6 篇 offutt jeff
  • 6 篇 xie tao
  • 6 篇 bertolino antoni...
  • 5 篇 wotawa franz
  • 5 篇 tillmann nikolai
  • 5 篇 felderer michael
  • 4 篇 zhang lu
  • 4 篇 marchetti eda
  • 4 篇 yu tingting
  • 4 篇 feldt robert
  • 4 篇 lonetti francesc...
  • 3 篇 huang rubing
  • 3 篇 jehan seema
  • 3 篇 holzmann gerard ...
  • 3 篇 de halleux jonat...
  • 3 篇 cohen myra b.
  • 3 篇 a. pasquini

语言

  • 716 篇 英文
  • 26 篇 其他
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
  • 1 篇 俄文
  • 1 篇 中文
检索条件"主题词=Program testing"
746 条 记 录,以下是1-10 订阅
排序:
MetaFL: Metamorphic fault localisation using weakly supervised deep learning
收藏 引用
IET SOFTWARE 2023年 第2期17卷 137-153页
作者: Fu, Lingfeng Lei, Yan Yan, Meng Xu, Ling Xu, Zhou Zhang, Xiaohong Chongqing Univ Sch Big Data & Software Engn Chongqing Peoples R China Peng Cheng Lab Shenzhen Peoples R China Chongqing Univ Sch Big Data & Software Engn Chongqing 400044 Peoples R China
Deep-Learning-based Fault Localisation (DLFL) leverages deep neural networks to learn the relationship between statement behaviour and program failures, showing promising results. However, since DLFL uses program fail... 详细信息
来源: 评论
CIDFuzz: Fuzz testing for continuous integration
收藏 引用
IET SOFTWARE 2023年 第3期17卷 301-315页
作者: Zhang, Jiaming Cui, Zhanqi Chen, Xiang Yang, Huiwen Zheng, Liwei Liu, Jianbin Beijing Informat Sci & Technol Univ Comp Sch Beijing Peoples R China Nantong Univ Sch Informat Sci & Technol Nantong Peoples R China
As agile software development and extreme programing have become increasingly popular, continuous integration (CI) has become a widely used collaborative work method. However, it is common to make changes frequently t... 详细信息
来源: 评论
Mutation-inspired symbolic execution for software testing
收藏 引用
IET SOFTWARE 2022年 第5期16卷 478-492页
作者: Valle-Gomez, Kevin J. Garcia-Dominguez, Antonio Delgado-Perez, Pedro Medina-Bulo, Inmaculada Univ Cadiz Escuela Super Ingn Ave Univ Cadiz 10 Puerto Real 11519 Spain Aston Univ Birmingham W Midlands England
Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generat... 详细信息
来源: 评论
Verification of programs with Concealed Components  26
Verification of Programs with Concealed Components
收藏 引用
ACM SIGPLAN International Conference on Systems, programming, Languages, and Applications: Software for Humanity (SPLASH Companion)
作者: Lahiri, Sumit Indian Inst Technol Kanpur Kanpur Uttar Pradesh India
Real-world programs contain a multitude of concealed components whose formal semantics not available to verification engines, like third-party API calls, inline assembly and SIMD instructions, system calls, sampling a... 详细信息
来源: 评论
ProTesters: a board game for teaching the testing process  21
ProTesters: a board game for teaching the testing process
收藏 引用
21st Brazilian Symposium on Software Quality (SBOS)
作者: Moreira, Gabriel Goncalves Malucelli, Andreia Reinehr, Sheila van Amstel, Frederick Pontificia Univ Catolica Parana Curitiba Parana Brazil Univ Tecnol Fed Parana Curitiba Parana Brazil
Despite being the most used approach in teaching software testing in Brazil, the traditional teaching method might not simulate, facilitate or motivate the learning of the testing process and its activities. As a resu... 详细信息
来源: 评论
Concurrency coverage criteria for activity diagrams
收藏 引用
IET SOFTWARE 2021年 第1期15卷 43-54页
作者: Shirole, Mahesh Kumar, Rajeev Veermata Jijabai Technol Inst Comp Engn & Informat Technol Dept Mumbai 400019 Maharashtra India Jawaharlal Nehru Univ Sch Comp & Syst Sci New Delhi India
Existing coverage criteria for Unified Modeling Language (UML)-based system design have used mostly structural constructs and sequential-behavioural coverage criteria. However, concurrent-behavioural coverage criteria... 详细信息
来源: 评论
On the suitability of checked coverage and genetic parameter tuning in test suite reduction
收藏 引用
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2024年 第8期36卷
作者: Koitz-Hristov, Roxane Sterner, Thomas Stracke, Lukas Wotawa, Franz Graz Univ Technol Inst Software Technol Graz Austria Graz Univ Technol Inst Software Technol Christian Doppler Lab Qual Assurance Methods Auton Graz Austria
As software projects evolve and grow in size and complexity, so do their test suites. Test suite reduction (TSR) aims at reducing the size of a test suite by removing redundant and obsolete test cases based on a cover... 详细信息
来源: 评论
VP_TT: A value propagation based equivalence checker for testability transformations
收藏 引用
IET SOFTWARE 2021年 第1期15卷 147-159页
作者: Chouksey, Ramanuj Maddheshiya, Sachin Kumar Karfa, Chandan Indian Inst Technol Dept Comp Sci & Engn Gauhati 781039 India
Testability transformation (TT) is a source-to-source programme transformation that aims to improve the ability of a given test generation method to generate test data for the original programme. Herein, the correctne... 详细信息
来源: 评论
Understanding the Insecurity of Processor Caches Due to Timing-Based Vulnerabilities
收藏 引用
IEEE SECURITY & PRIVACY 2021年 第3期19卷 42-49页
作者: Deng, Shuwen Xiong, Wenjie Szefer, Jakub Yale Univ Dept Elect Engn New Haven CT 06520 USA
This article discusses a recently developed test suite for checking timing-based vulnerabilities in processor caches, which has revealed the insecurity of today's processor caches. The susceptibility of caches to ... 详细信息
来源: 评论
Fuzzing: Challenges and Reflections
收藏 引用
IEEE SOFTWARE 2021年 第3期38卷 79-86页
作者: Bohme, Marcel Cadar, Cristian Roychoudhury, Abhik Monash Univ Melbourne Vic 3168 Australia Imperial Coll London Dept Comp London SW7 2AZ England Natl Univ Singapore Comp Sci Singapore 117417 Singapore
We summarize the open challenges and opportunities for fuzzing and symbolic execution as they emerged in discussions among researchers and practitioners in a Shonan Meeting and that were validated in a subsequent survey.
来源: 评论