掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE International Conference on Software Testing, Verification and Validation Workshops
IEEE International Conference on Software Testing, Verification and Validation Workshops
召开年:
2018
召开地:
Vasteras(SE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Extending the UML Testing Profile with a Fine-Grained Test Logging Model
机译:
用细粒度的测试记录模型扩展UML测试配置文件
作者:
Marc-Florian Wendland
;
Niels Hoppe
;
Martin Schneider
;
Steven Ulrich
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Unified modeling language;
Testing;
Automation;
Schedules;
Robustness;
ISO Standards;
2.
Mutant Quality Indicators
机译:
突变体质量指标
作者:
Papadakis Mike
;
Thierry Titcheu Chekam
;
Yves Le Traon
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Switches;
Tools;
Conferences;
Fault diagnosis;
Programming;
Software testing;
3.
Mutation 2018 Committees
机译:
突变2018委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
4.
Requirements for Testing and Validating the Industrial Internet of Things
机译:
测试和验证工业物联网的要求
作者:
Liliana Antão
;
Rui Pinto
;
João Reis
;
Gil Gonçalves
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Security;
Reliability;
Scalability;
Computer architecture;
Internet of Things;
Industries;
5.
An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions
机译:
变异测试的工业应用:教训,挑战和研究方向
作者:
Goran Petrovic
;
Marko Ivankovic
;
Bob Kurtz
;
Paul Ammann
;
René Just
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Google;
Optimization;
Software;
Conferences;
Task analysis;
Writing;
6.
If You Can't Kill a Supermutant, You Have a Problem
机译:
如果您无法杀死超突变体,那就有问题了
作者:
Rahul Gopinath
;
Björn Mathis
;
Andreas Zeller
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Conferences;
Redundancy;
Complexity theory;
Debugging;
Software testing;
Electronic mail;
Software;
7.
Message from the TAIC PART 2018 Chairs
机译:
TAIC PART 2018主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
8.
CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets
机译:
CAMETRICS:一种用于测试集的高级组合分析和测量的工具
作者:
Manuel Leithner
;
Kristoffer Kleine
;
Dimitris E. Simos
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Tools;
Measurement;
Hamming distance;
Software testing;
Indexes;
Software;
9.
Maintenance of Android Widget-Based GUI Testing: A Taxonomy of Test Case Modification Causes
机译:
维护基于Android Widget的GUI测试:测试用例修改原因分类
作者:
Riccardo Coppola
;
Maurizio Morisio
;
Marco Torchiano
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Androids;
Humanoid robots;
Graphical user interfaces;
Testing;
Tools;
Maintenance engineering;
Taxonomy;
10.
Message from the InSTA 2018 Chairs
机译:
InSTA 2018主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
11.
Message from the ITEQS 2018 Workshop Chairs
机译:
ITEQS 2018研讨会主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
12.
Message from the IWCT 2018 Workshop Chairs
机译:
IWCT 2018研讨会主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
13.
Migrating Combinatorial Interaction Test Modeling and Generation to the Web
机译:
将组合交互测试建模和生成迁移到Web
作者:
Angelo Gargantini
;
Marco Radavelli
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Tools;
Software as a service;
Test pattern generators;
Servers;
Grammar;
14.
Scan Code Injection Flaws in HTML5-Based Mobile Applications
机译:
基于HTML5的移动应用程序中的扫描代码注入缺陷
作者:
Phi Tuong Lau
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Smart phones;
Java;
Browsers;
Analytical models;
Tools;
Cameras;
Cascading style sheets;
15.
Proposal for Enhancing UTP2 with Test Aspects
机译:
关于通过测试方面增强UTP2的提案
作者:
Makoto Nakakuki
;
Koki Abe
;
Hitoshi Ando
;
Shizuka Ban
;
Hiroki Iseri
;
Kumiko Iseri
;
Noriyuki Mizuno
;
Tomohiro Odan
;
Akiharu Satoh
会议名称:
《》
|
2018年
关键词:
Unified modeling language;
Software;
Software testing;
Computer architecture;
Online banking;
Conferences;
16.
Combinatorial Testing with Constraints for Negative Test Cases
机译:
负测试用例约束的组合测试
作者:
Konrad Fögen
;
Horst Lichter
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Tools;
Optimization;
Conferences;
Software;
Software testing;
Test pattern generators;
17.
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System
机译:
结合组合测试和变态测试以测试基于逻辑的非单调推理系统
作者:
Franz Wotawa
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Cognition;
Nose;
Computational modeling;
Automation;
Conferences;
Maintenance engineering;
18.
Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment
机译:
验证网络物理汽车系统的系统:测试环境分配
作者:
Hermann Kaindl
;
Franz Lukasch
;
Matthias Heigl
;
Sevan Kavaldjian
;
Christoph Luckeneder
;
Sebastian Rausch
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Software;
Testing;
Batteries;
Mechanical power transmission;
Semantics;
Engines;
Automotive engineering;
19.
Architectures and Experiences in Testing IoT Communications
机译:
物联网通信测试的架构和经验
作者:
Teemu Kanstrén
;
Jukka Mäkelä
;
Pekka Karhula
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Logic gates;
Protocols;
Computer architecture;
Internet of Things;
Reliability;
Hardware;
20.
Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms
机译:
使用遗传算法评估无类型数据结构的测试数据生成
作者:
Ralf Gerlich
;
Christian R. Prause
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Software;
Sociology;
Statistics;
Space vehicles;
Cost function;
Genetic algorithms;
Conferences;
21.
Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering
机译:
基于模型的安全测试-从安全工程的伪像中得出测试模型
作者:
Armin Lunkeit
;
Ina Schieferdecker
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Security;
Unified modeling language;
Testing;
Analytical models;
Risk analysis;
Data models;
Software;
22.
VVIoT 2018 Committees
机译:
VVIoT 2018委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
23.
A Survey of Software Quality for Machine Learning Applications
机译:
机器学习应用程序的软件质量调查
作者:
Satoshi Masuda
;
Kohichi Ono
;
Toshiaki Yasue
;
Nobuhiro Hosokawa
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Software engineering;
Machine learning;
Software testing;
Conferences;
Software quality;
24.
Welcome Message and Committees for NEXTA 2018
机译:
NEXTA 2018欢迎辞和委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
25.
A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results
机译:
变异测试成本降低技术的系统综述:初步结果
作者:
Fabiano Cutigi Ferrari
;
Alessandro Viola Pizzoleto
;
Jeff Offutt
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Databases;
Measurement;
Systematics;
Search engines;
Protocols;
Conferences;
26.
A Test Architecture for Machine Learning Product
机译:
机器学习产品的测试架构
作者:
Yasuharu Nishi
;
Satoshi Masuda
;
Hideto Ogawa
;
Keiji Uetsuki
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Machine learning;
Computer architecture;
Software;
Quality assurance;
Robustness;
Systems architecture;
27.
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
机译:
物联网系统的威胁驱动型网络安全验证框架
作者:
Tomas Kulik
;
Peter W. V. Tran-Jørgensen
;
Jalil Boudjadar
;
Carl Schultz
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Communication channels;
Object oriented modeling;
Metals;
Security;
Silicon;
Analytical models;
Control systems;
28.
Combinatorial Test Design – A Smarter Way to Connect with the Business
机译:
组合测试设计–与业务联系的更智能方式
作者:
Saritha Route
;
Sudheer Pendela
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Business;
Tools;
Testing;
Manuals;
Automation;
System analysis and design;
Analytical models;
29.
A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models
机译:
针对特定领域模型的集成集的基于模型的测试用例管理方法
作者:
Reinhard Pröll
;
Bernhard Bauer
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Analytical models;
Data models;
Context modeling;
Software;
Software testing;
30.
Design of High Confidence Embedded Software Hardware-in-Loop Simulation Test Platform Based on Hierarchical Model
机译:
基于层次模型的高可信度嵌入式软件在环仿真测试平台设计
作者:
Fei Deng
;
Feng Gao
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Task analysis;
Protocols;
Real-time systems;
Testing;
Libraries;
Embedded systems;
Data models;
31.
Assessing Technical Debt in Automated Tests with CodeScene
机译:
使用CodeScene评估自动化测试中的技术债务
作者:
Adam Tornhill
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Conferences;
Software testing;
32.
Identifying Useful Mutants to Test Time Properties
机译:
识别有用的突变体以测试时间属性
作者:
Birgitta Lindström
;
Jeff Offutt
;
Loreto Gonzalez-Hernandez
;
Sten F. Andler
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Task analysis;
Time factors;
Testing;
Automata;
Real-time systems;
Tuning;
Adaptation models;
33.
A-MOST 2018 Committees
机译:
A-MOST 2018委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
34.
Introducing Automated GUI Testing and Observing Its Benefits: An Industrial Case Study in the Context of Law-Practice Management Software
机译:
引入自动GUI测试并观察其收益:法律实践管理软件中的工业案例研究
作者:
Vahid Garousi
;
Erdem Yildirim
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Automation;
Testing;
Software;
Companies;
Graphical user interfaces;
Law;
35.
A Brief Overview of Existing Tools for Testing the Internet-of-Things
机译:
现有的用于测试物联网的工具的简要概述
作者:
João Pedro Dias
;
Flávio Couto
;
Ana C.R. Paiva
;
Hugo Sereno Ferreira
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Cloud computing;
Hardware;
Tools;
Automation;
Security;
36.
Lightweight Model-Based Testing for Enterprise IT
机译:
基于轻量级模型的企业IT测试
作者:
Bernard Elodie
;
Ambert Fabrice
;
Legeard Bruno
;
Bouzy Arnaud
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Tools;
Testing;
Unified modeling language;
Task analysis;
Password;
Electronic mail;
37.
A Topic Model and Test History-Based Test Case Recommendation Method for Regression Testing
机译:
基于主题模型和基于测试历史的测试案例推荐方法
作者:
Hirohisa Aman
;
Takashi Nakano
;
Hideto Ogasawara
;
Minoru Kawahara
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
History;
Measurement;
Covariance matrices;
Smoothing methods;
Conferences;
Manuals;
38.
Message from the Mutation 2018 General Chairs
机译:
Mutation 2018主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
39.
Message from the VVIoT 2018 Chairs
机译:
VVIoT 2018主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
40.
Adapting Unit Tests by Generating Combinatorial Test Data
机译:
通过生成组合测试数据来适应单元测试
作者:
Hermann Felbinger
;
Franz Wotawa
;
Mihai Nica
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Cost accounting;
Testing;
Software;
Heuristic algorithms;
Electronic mail;
Fault detection;
Tools;
41.
Message from the A-MOST 2018 General Chairs
机译:
A-MOST 2018主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
42.
Message from the ICST 2018 Program Chairs
机译:
ICST 2018计划主席致辞
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
program testing;
program verification;
43.
Generation of C++ Unit Tests from Abstract State Machines Specifications
机译:
根据抽象状态机规范生成C ++单元测试
作者:
Silvia Bonfanti
;
Angelo Gargantini
;
Atif Mashkoor
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Tools;
C++ languages;
Mathematical model;
Testing;
Dairy products;
Monitoring;
Software;
44.
Model-Based Mutation Testing of Real-Time Systems via Model Checking
机译:
通过模型检查对实时系统进行基于模型的变异测试
作者:
Florian Lorber
;
Kim G. Larsen
;
Brian Nielsen
会议名称:
《》
|
2018年
关键词:
Automata;
Computational modeling;
Testing;
Clocks;
Tools;
Cost accounting;
Delays;
45.
Enumerator: An Efficient Approach for Enumerating all Valid t-tuples
机译:
枚举器:一种枚举所有有效t元组的有效方法
作者:
Hanefi Mercan
;
Kamer Kaya
;
Cemal Yilmaz
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Conferences;
Computational modeling;
Task analysis;
Scalability;
Instruction sets;
Synchronization;
46.
Modelling Hand Gestures to Test Leap Motion Controlled Applications
机译:
建模手势以测试跳跃运动控制的应用程序
作者:
Thomas D. White
;
Gordon Fraser
;
Guy J. Brown
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Data models;
Solid modeling;
Data structures;
Test pattern generators;
Aerospace electronics;
Software;
47.
Automatically Generating Test Scripts for GUI Testing
机译:
自动生成用于GUI测试的测试脚本
作者:
Muneyoshi Iyama
;
Hiroyuki Kirinuki
;
Haruto Tanno
;
Toshiyuki Kurabayashi
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Tools;
Automation;
Selenium;
Software testing;
Static analysis;
Data mining;
48.
Mull It Over: Mutation Testing Based on LLVM
机译:
仔细考虑:基于LLVM的变异测试
作者:
Alex Denisov
;
Stanislav Pankevich
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Tools;
Computer languages;
Instruments;
Runtime;
Computer crashes;
Open source software;
49.
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System
机译:
实时嵌入式系统中基于学习的时序属性的自适应保证
作者:
Mahshid Helali Moghadam
;
Mehrdad Saadatmand
;
Markus Borg
;
Markus Bohlin
;
Björn Lisper
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Real-time systems;
Time factors;
Embedded systems;
Delays;
Runtime;
Markov processes;
50.
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
机译:
MUSIC:具有高可配置性和可扩展性的变异分析工具
作者:
Duy Loc Phan
;
Yunho Kim
;
Moonzoo Kim
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Multiple signal classification;
Tools;
Benchmark testing;
Databases;
Software;
Switches;
Protocols;
51.
Challenges in Automated Testing Through Graphical User Interface
机译:
通过图形用户界面进行自动化测试的挑战
作者:
Pekka Aho
;
Tanja Vos
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Graphical user interfaces;
Testing;
Tools;
Software;
Maintenance engineering;
Automation;
Data models;
52.
Feature-Based Testing by Using Model Synthesis, Test Generation and Parameterizable Test Prioritization
机译:
通过模型综合,测试生成和可参数化测试优先级进行基于特征的测试
作者:
Martin Reider
;
Stephan Magnus
;
Jan Krause
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Unified modeling language;
Test pattern generators;
Adaptation models;
Complexity theory;
Tools;
Conferences;
53.
Practical Amplification of Condition/Decision Test Coverage by Combinatorial Testing
机译:
通过组合测试实际扩大条件/决策测试范围
作者:
Artur Andrzejak
;
Thomas Bach
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Software;
Conferences;
Software testing;
Documentation;
C++ languages;
54.
A Satisfiability-Based Approach to Generation of Constrained Locating Arrays
机译:
基于可满足性的约束定位数组生成方法
作者:
Hao Jin
;
Takashi Kitamura
;
Eun-Hye Choi
;
Tatsuhiro Tsuchiya
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Browsers;
Linux;
Testing;
Microsoft Windows;
Conferences;
Electronic mail;
Fault diagnosis;
55.
Risk-Driven Model-Based Testing of Washing Machine Software: An Industrial Case Study
机译:
基于风险驱动的洗衣机软件模型测试:工业案例研究
作者:
Abdülhadi Kirkici
;
Ceren Sahin Gebizli
;
Hasan Sözer
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Washing machines;
Software;
Estimation;
Power demand;
Markov processes;
56.
Optimal Scheduling for Combinatorial Software Testing and Design of Experiments
机译:
组合软件测试和实验设计的最佳计划
作者:
Robert V. Binder
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Software testing;
Linear programming;
Switches;
Conferences;
Optimal scheduling;
Minimization;
57.
SPYH-Method: An Improvement in Testing of Finite-State Machines
机译:
SPYH方法:有限状态机测试的一种改进
作者:
Michal Soucha
;
Kirill Bogdanov
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Convergence;
Automata;
Conferences;
Computer science;
Software;
Lead;
58.
A Testability Analysis Framework for Non-functional Properties
机译:
非功能属性的可测试性分析框架
作者:
Michael Felderer
;
Bogdan Marculescu
;
Francisco Gomes de Oliveira Neto
;
Robert Feldt
;
Richard Torkar
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Software;
Noise measurement;
Robustness;
Bibliographies;
Observability;
59.
Support for Finding Presentation Failures by Using Computer Vision Techniques
机译:
支持使用计算机视觉技术查找演示文稿失败
作者:
Haruto Tanno
;
Yuu Adachi
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Feature extraction;
Testing;
Tools;
Browsers;
Androids;
Humanoid robots;
Smart phones;
60.
Effects of an Economic Approach for Test Case Selection and Reduction for a Large Industrial Project
机译:
经济方法对大型工业项目的测试用例选择和减少的影响
作者:
Thomas Bach
;
Ralf Pannemans
;
Sascha Schwedes
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Runtime;
Software;
Economics;
Hardware;
Manuals;
Conferences;
61.
Tailoring ISO/IEC/IEEE 29119-3 Standard for Small and Medium-Sized Enterprises
机译:
为中小企业量身定制ISO / IEC / IEEE 29119-3标准
作者:
Paulo Eira
;
Pedro Guimarães
;
Mónica Melo
;
Miguel A. Brito
;
António Silva
;
Ricardo J. Machado
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
ISO Standards;
Documentation;
Software testing;
Software;
IEC Standards;
62.
On the Automation of Testing a Logic-Based Diagnosis System
机译:
基于逻辑的诊断系统测试的自动化
作者:
Franz Wotawa
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Knowledge based systems;
Cognition;
Automation;
Kernel;
Memory management;
63.
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach
机译:
电子物理系统的时间逻辑伪造:输入信号空间优化方法
作者:
Arend Aerts
;
Bryan Tong Minh
;
Mohammad Reza Mousavi
;
Michel A. Reniers
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Robustness;
Optimization;
Mathematical model;
Proposals;
Monte Carlo methods;
Testing;
Measurement;
64.
InSTA 2018 Committees
机译:
InSTA 2018委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
65.
The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System
机译:
时间间隔事件对实时系统序列交互测试的影响
作者:
Chek Pin Yang
;
Gunwant Dhadyalla
;
James Marco
;
Paul Jennings
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Real-time systems;
Software;
Testing;
Robustness;
Control systems;
Safety;
Electric machines;
66.
Test Automation - Automation of What?
机译:
测试自动化-自动化什么?
作者:
Yvan Labiche
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Automation;
Software testing;
Software;
Data models;
Tools;
Contracts;
67.
Test Case Reduction Based on the Join Condition in Pairwise Coverage-Based Database Testing
机译:
基于成对覆盖的数据库测试中基于连接条件的测试案例缩减
作者:
Yuper Lay Myint
;
Hironori Washizaki
;
Yoshiaki Fukazawa
;
Hideyuki Kanuka
;
Hiroki Ohbayashi
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Databases;
Computer bugs;
Structured Query Language;
Software;
Conferences;
Tools;
68.
Testing of Big Data Analytics Systems by Benchmark
机译:
按基准测试大数据分析系统
作者:
Mingang Chen
;
Wenjie Chen
;
Lizhi Cai
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Big Data;
Benchmark testing;
Business;
Loading;
Reliability;
Data analysis;
69.
Applying Automated Test Case Generation in Industry: A Retrospective
机译:
自动化测试案例生成在工业中的应用:回顾
作者:
Rudolf Ramler
;
Claus Klammer
;
Georg Buchgeher
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Graphical user interfaces;
Industries;
Tools;
Software testing;
Software;
Java;
70.
The Next Level of Test Automation: What About the Users?
机译:
下一级别的测试自动化:用户呢?
作者:
Kristian Wiklund
;
Monika Wiklund
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Automation;
Tools;
Testing;
Software;
Organizations;
Standards organizations;
Industries;
71.
ITEQS 2018 Committees
机译:
ITEQS 2018委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
72.
IWCT 2018 Committees
机译:
IWCT 2018委员会
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
73.
Software Test Architectures and Advanced Support Environments for IoT
机译:
物联网的软件测试架构和高级支持环境
作者:
Jon D Hagar
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Computer architecture;
Testing;
Software;
Hardware;
Internet of Things;
Security;
Automobiles;
74.
To Detect Abnormal Program Behaviours via Mutation Deduction
机译:
通过突变推论检测异常程序行为
作者:
Jie Zhang
;
Dan Hao
;
Lingming Zhang
;
Lu Zhang
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Testing;
Semantics;
Syntactics;
Software quality;
Computer bugs;
Conferences;
75.
Software Metrics for Policy-Driven Software Development Life Cycle Automation
机译:
策略驱动的软件开发生命周期自动化的软件指标
作者:
Leonid Borodaev
;
Alexandru Telea
;
Rix Groenboom
;
Rein Smedinga
会议名称:
《IEEE International Conference on Software Testing, Verification and Validation Workshops》
|
2018年
关键词:
Software quality;
Software metrics;
Security;
Software reliability;
意见反馈
回到顶部
回到首页