掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops
2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
中国计算机用户
机器人技术与应用
计算机仿真
通讯和计算机
自动化学报
计算机辅助工程
计算机安全
智能系统学报
计算机时代
直通VIP
更多>>
相关外文期刊
Computing and visualization in science
Genetic programming and evolvable machines
IEEE computer architecture letters
International journal of soft computing
International journal of information security and privacy
Computer Aided Geometric Design
Computer standards & interfaces
Foundations and trends in networking
Byte
Journal of Parallel and Distributed Computing
更多>>
相关中文会议
第四届全国机器翻译研讨会
2005年全国网络化制造技术学术研讨会
第二届全国智能信息处理学术会议
第五届图像图形技术与应用学术会议
第三届全国CSCW暨第一届全国AIN学术会议
全国第五届计算机辅助生产管理学术会议
第十二届全国高等学校过程装备与控制工程专业教学与科研校际交流会
第二届中国政府电子政务论坛
2010全国开放式分布与并行计算学术年会
煤矿瓦斯灾害防治理论战略研讨
更多>>
相关外文会议
Advances in databases and information systems
Multimedia modeling: Modeling multimedia information and systems(MMM'99)
International Conference on Geometric Modeling and Processing(GMP 2006); 20060726-28; Pittsburgh,PA(US)
Digital human modeling
Imaging and printing in a web 2.0 world III
Database systems for advanced applications
Artificial intelligence for knowledge management
Service-Oriented Computing - ICSOC 2008
Advances in intelligent data analysis IX
Latest advances in information science, circuits and systems
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Designing Fulfilling Test Cases with Test Aspect Model
机译:
使用测试方面模型设计实现测试用例
作者:
Akiharu Satoh
;
Shizuka Ban
;
Yuzuru Harayama
;
Kunio Yamamoto
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Unified modeling language;
Online banking;
Analytical models;
Testing;
Software;
Computer architecture;
Pins;
2.
ITEQS 2019 Program Committee
机译:
ITEQS 2019计划委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
3.
VVIoT 2019 Program Committee
机译:
VVIoT 2019计划委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
4.
Towards Automated Generation of Bug Benchmark for Smart Contracts
机译:
致力于自动生成智能合约的错误基准
作者:
Jiaming Ye
;
Mingliang Ma
;
Tianyong Peng
;
Yun Peng
;
Yinxing Xue
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Computer bugs;
Smart contracts;
Detectors;
Benchmark testing;
Software;
5.
Message from the Mutation 2019 Chairs
机译:
Mutation 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
6.
Message from the InSTA 2019 Chairs
机译:
InSTA 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
7.
Message from the IWCT 2019 Chairs
机译:
IWCT 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
8.
Message from the ICST 2019 Program Chairs
机译:
ICST 2019年计划主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
9.
IWCT 2019 Program Committee
机译:
IWCT 2019计划委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
10.
MLST 2019 Program Committee
机译:
MLST 2019计划委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
11.
Machine Learning to Guide Performance Testing: An Autonomous Test Framework
机译:
机器学习指导性能测试:自主测试框架
作者:
Mahshid Helali Moghadam
;
Mehrdad Saadatmand
;
Markus Borg
;
Markus Bohlin
;
Björn Lisper
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Software systems;
Stress;
Analytical models;
Performance analysis;
Convergence;
Buildings;
12.
Scenario Sampling for Cyber Physical Systems using Combinatorial Testing
机译:
使用组合测试的网络物理系统的场景采样
作者:
Akihisa Yamada
;
Clovis Eberhart
;
Fuyuki Ishikawa
;
Nian-Ze Lee
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Prototypes;
Tools;
Conferences;
Informatics;
13.
NEXTA 2019 Program Committee
机译:
NEXTA 2019计划委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
14.
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations
机译:
高效且有保证的t形故障诱导组合检测
作者:
Paolo Arcaini
;
Angelo Gargantini
;
Marco Radavelli
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Test pattern generators;
Computer bugs;
Software;
Conferences;
Fault detection;
Market research;
15.
A Model-Based Approach to Generate Dynamic Synthetic Test Data: A Conceptual Model
机译:
基于模型的动态综合测试数据生成方法:概念模型
作者:
Chao Tan
;
Razieh Behjati
;
Erik Arisholm
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Unified modeling language;
Sociology;
Statistics;
Data models;
Heuristic algorithms;
Testing;
Machine learning algorithms;
16.
Partitioned Search with Column Resampling for Locating Array Construction
机译:
带有列重采样的分区搜索,用于定位数组构造
作者:
Erin Lanus
;
Charles J. Colbourn
;
Douglas C. Montgomery
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Conferences;
Partitioning algorithms;
Indexes;
Fault location;
Fans;
17.
A Framework for Automated Combinatorial Test Generation, Execution, and Fault Characterization
机译:
自动化组合测试生成,执行和故障特征描述的框架
作者:
Joshua Bonn
;
Konrad Foegen
;
Horst Lichter
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Test pattern generators;
Computer architecture;
Browsers;
18.
Using Imprecise Test Oracles Modelled by FSM
机译:
使用由FSM建模的不精确测试Oracle
作者:
Omer Nguena Timo
;
Alexandre Petrenko
;
S. Ramesh
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Uncertainty;
Conferences;
Test pattern generators;
Natural languages;
Maintenance engineering;
19.
An Approach to T-Way Test Sequence Generation With Constraints
机译:
带约束的T-Way测试序列生成方法
作者:
Feng Duan
;
Yu Lei
;
Raghu N. Kacker
;
D. Richard Kuhn
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Sequential analysis;
Protocols;
Syntactics;
Semantics;
Test pattern generators;
Conferences;
20.
Reduce Test Cost by Reusing Test Oracles through Combinatorial Join
机译:
通过组合联接重用测试Oracle来降低测试成本
作者:
Hiroshi Ukai
;
Xiao Qu
;
Hironori Washizaki
;
Yoshiaki Fukazawa
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Software;
Phased arrays;
Tools;
Mathematical model;
Conferences;
Task analysis;
21.
Weighted Combinatorial Sequence Testing for the TLS Protocol
机译:
TLS协议的加权组合序列测试
作者:
Bernhard Garn
;
Dimitris E. Simos
;
Feng Duan
;
Yu Lei
;
Josip Bozic
;
Franz Wotawa
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Protocols;
Security;
Software;
Servers;
Computer bugs;
Databases;
22.
Evaluating a Test Automation Decision Support Tool
机译:
评估测试自动化决策支持工具
作者:
Kesina Baral
;
Rasika Mohod
;
Jennifer Flamm
;
Seth Goldrich
;
Paul Ammann
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Software;
Automation;
Tools;
History;
Correlation;
Software measurement;
23.
On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software
机译:
测量工业软件手动创建的测试用例的组合覆盖率
作者:
Miraldi Fifo
;
Eduard Enoiu
;
Wasif Afzal
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Manuals;
Tools;
Software;
Standards;
Software measurement;
Testing;
Industries;
24.
Medusa: Mutant Equivalence Detection Using Satisfiability Analysis
机译:
美杜莎:使用可满足性分析的突变等价检测
作者:
Benjamin Kushigian
;
Amit Rawat
;
René Just
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Java;
Cognition;
Conferences;
Test pattern generators;
Syntactics;
Software testing;
25.
Learning to Restrict Test Range for Compiler Test
机译:
学习限制编译器测试的测试范围
作者:
Junhua Zhu
;
Limin Wang
;
Yu Gu
;
Xiaojun Lin
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Computer bugs;
Testing;
Program processors;
Feature extraction;
Machine learning;
Computer languages;
26.
An Empirical Comparison of Mutant Selection Assessment Metrics
机译:
突变选择评估指标的经验比较
作者:
Jie M. Zhang
;
Lingming Zhang
;
Dan Hao
;
Lu Zhang
;
Mark Harman
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Measurement;
Correlation;
Tools;
Conferences;
Software testing;
Software;
27.
Testing When Mobile Apps Go to Background and Come Back to Foreground
机译:
测试移动应用何时进入后台并回到前台
作者:
Ana C. R. Paiva
;
João M. E. P. Gouveia
;
Jean-David Elizabeth
;
Márcio E. Delamaro
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Transient analysis;
Mobile applications;
Software;
Conferences;
Software testing;
28.
Learning Performance Optimization from Code Changes for Android Apps
机译:
从Android应用程序的代码更改中学习性能优化
作者:
Ruitao Feng
;
Guozhu Meng
;
Xiaofei Xie
;
Ting Su
;
Yang Liu
;
Shang-Wei Lin
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Optimization;
Lead;
Performance evaluation;
Java;
Tools;
Graphical user interfaces;
Programming;
29.
Practical Combinatorial Testing for XSS Detection using Locally Optimized Attack Models
机译:
使用局部优化的攻击模型进行XSS检测的实用组合测试
作者:
Dimitris E. Simos
;
Bernhard Garn
;
Jovan Zivanovic
;
Manuel Leithner
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Application security;
Grammar;
Cross-site scripting;
30.
Prediction of Undetected Faults in Safety-Critical Software
机译:
安全关键软件中未检测到的故障的预测
作者:
Johan Sundell
;
Richard Torkar
;
Kristina Lundqvist
;
Håkan Forsberg
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Software;
Testing;
Standards;
Software reliability;
Safety;
Industries;
31.
Team Activities Measurement Method for Open Source Software Development Using the Gini Coefficient
机译:
使用基尼系数的开源软件开发团队活动度量方法
作者:
Ayako Masuda
;
Tohru Matsuodani
;
Kazuhiko Tsuda
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Personnel;
Software;
Software measurement;
Atmospheric measurements;
Particle measurements;
Software testing;
32.
Augmented Testing: Industry Feedback To Shape a New Testing Technology
机译:
增强测试:行业反馈以塑造新的测试技术
作者:
Michel Nass
;
Emil Alégroth
;
Robert Feldt
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Graphical user interfaces;
Prototypes;
Conferences;
Industries;
Manuals;
Software;
33.
Suggestion of Testing Method for Industrial Level Cyber-Physical System in Complex Environment
机译:
复杂环境下工业级电子物理系统测试方法的建议
作者:
Jiseob Kim
;
Sunil Chon
;
Jihwan Park
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Drones;
Testing;
Law;
Safety;
Hardware;
Software;
34.
Message from the VVIoT 2019 Chairs
机译:
VVIoT 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
35.
Message from the INTUITESTBEDS 2019 Chairs
机译:
INTUITESTBEDS 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
36.
Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application
机译:
在工业应用中成功进行组合输入参数测试的关键工具功能
作者:
Christian Eitner
;
Franz Wotawa
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Conferences;
Software;
Test pattern generators;
37.
Mutation 2019 Program Committee
机译:
突变2019计划委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
38.
Applying Combinatorial Testing to Large-Scale Data Processing at Adobe
机译:
将组合测试应用于Adobe的大规模数据处理
作者:
Riley Smith
;
Darryl Jarman
;
Raghu Kacker
;
Richard Kuhn
;
Dimitris Simos
;
Ludwig Kampel
;
Manuel Leithner
;
Gabe Gosney
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Data collection;
Arrays;
Databases;
Tools;
Compression algorithms;
39.
Message from the ITEQS 2019 Chairs
机译:
ITEQS 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
40.
Requirements Dependencies-Based Test Case Prioritization for Extra-Functional Properties
机译:
功能需求基于需求依赖的测试用例优先级
作者:
Muhammad Abbas
;
Irum Inayat
;
Mehrdad Saadatmand
;
Naila Jan
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Mathematical model;
Security;
Stakeholders;
Software testing;
Software systems;
41.
Message from the MLST 2019 Chairs
机译:
MOST 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
42.
Message from the A-MOST 2019 Chairs
机译:
A-MOST 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
43.
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks
机译:
用于测试基于IoT细流的有损组播网络的行为模型和场景选择
作者:
Ngo Minh Thang Nguyen
;
Boutheina Bannour
;
Arnault Lapitre
;
Pascale Le Gall
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Multiprotocol label switching;
Sensors;
Wireless sensor networks;
Process control;
Internet of Things;
Testing;
44.
Measuring Combinatorial Coverage at Adobe
机译:
在Adobe处测量组合覆盖率
作者:
Riley Smith
;
Darryl Jarman
;
Jared Bellows
;
Richard Kuhn
;
Raghu Kacker
;
Dimitris Simos
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
XML;
Tools;
Engines;
Measurement;
NIST;
Software;
45.
Message from the NEXTA 2019 Chairs
机译:
NEXTA 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
46.
Automatic Refinement of ASM Abstract Test Cases
机译:
自动提炼ASM抽象测试用例
作者:
Paolo Arcaini
;
Elvinia Riccobene
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Gears;
Model checking;
Analytical models;
Adaptation models;
Switches;
Monitoring;
Complexity theory;
47.
An Industrial Study on Applications of Combinatorial Testing in Modern Web Development
机译:
组合测试在现代Web开发中的应用的工业研究
作者:
Murat Ozcan
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Buildings;
Automation;
Fans;
Containers;
48.
AbsCon: A Test Concretizer for Model-Based Testing
机译:
AbsCon:用于基于模型的测试的测试concretizer
作者:
Jeremy Vanhecke
;
Xavier Devroey
;
Gilles Perrouin
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Tools;
Python;
Browsers;
Adaptation models;
Google;
XML;
49.
Software Testing: According to Plan!
机译:
软件测试:按计划进行!
作者:
Josip Bozic
;
Franz Wotawa
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Planning;
Software;
Security;
Unified modeling language;
Object oriented modeling;
Adaptation models;
50.
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions
机译:
自动驾驶功能组合测试的工业应用
作者:
Jianbo Tao
;
Yihao Li
;
Franz Wotawa
;
Hermann Felbinger
;
Mihai Nica
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Ontologies;
Unified modeling language;
Autonomous vehicles;
Automobiles;
Protocols;
51.
Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array
机译:
使用参数映射避免覆盖数组中的禁止元组
作者:
Chang Rao
;
Nan Li
;
Yu Lei
;
Raghu N. Kacker
;
D. Richard Kuhn
;
Jin Guo
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Optimization;
Indexes;
Conferences;
Software testing;
Information science;
Research and development;
Computer science;
52.
Case Studies in Learning Models and Testing Without Reset
机译:
学习模型和无重置测试中的案例研究
作者:
Nicolas Bremond
;
Roland Groz
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Testing;
Inference algorithms;
Software;
Protocols;
Cyber-physical systems;
Software algorithms;
Heating systems;
53.
Programming Behavioral Test Models for SMT Solving in Scala
机译:
Scala中SMT解决方案的行为测试模型编程
作者:
Bernhard K. Aichernig
;
Benedikt Maderbacher
;
Stefan Tiran
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Object oriented modeling;
Unified modeling language;
Semantics;
DSL;
Syntactics;
Testing;
Computational modeling;
54.
Developing a QRNG ECU for Automotive Security: Experience of Testing in the Real-World
机译:
开发用于汽车安全性的QRNG ECU:真实世界中的测试经验
作者:
Hoang Nga Nguyen
;
Siamak Tavakoli
;
Siraj Ahmed Shaikh
;
Oliver Maynard
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Cryptography;
Prototypes;
Cameras;
Testing;
Software;
Light sources;
55.
A-MOST 2019 Program Committee
机译:
A-MOST 2019程序委员会
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
56.
Practical Fault Localization with Combinatorial Test Design
机译:
结合组合测试设计的实际故障定位
作者:
Dale Blue
;
Andrew Hicks
;
Ryan Rawlins
;
Rachel Tzoref-Brill
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Computer bugs;
Color;
Cats;
Dogs;
Shape;
Automation;
57.
PIT-HOM: an Extension of Pitest for Higher Order Mutation Analysis
机译:
PIT-HOM:Pitest的扩展,用于高阶突变分析
作者:
Thomas Laurent
;
Anthony Ventresque
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Java;
Software;
Testing;
Syntactics;
Couplings;
Industries;
58.
Coverage-Guided Learning-Assisted Grammar-Based Fuzzing
机译:
覆盖指导的基于学习的语法模糊测试
作者:
Yuma Jitsunari
;
Yoshitaka Arahori
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Fuzzing;
Grammar;
Task analysis;
Prediction algorithms;
Measurement;
Security;
Machine learning;
59.
Variable Strength Combinatorial Testing for Deep Neural Networks
机译:
深度神经网络的变强度组合测试
作者:
Yanshan Chen
;
Ziyuan Wang
;
Dong Wang
;
Chunrong Fang
;
Zhenyu Chen
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Neurons;
Upper bound;
Biological neural networks;
Correlation;
Conferences;
60.
Estimating the Number of Equivalent Mutants
机译:
估计等效突变体的数量
作者:
Amani Ayad
;
Imen Marsit
;
JiMeng Loh
;
Mohamed Nazih Omri
;
Ali Mili
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Entropy;
Redundancy;
Testing;
Measurement;
Tools;
Ear;
61.
Automatic Generation of Capability Leaks' Exploits for Android Applications
机译:
自动生成针对Android应用程序的功能泄漏漏洞
作者:
Mingsong Zhou
;
Fanping Zeng
;
Yu Zhang
;
Chengcheng Lv
;
Zhao Chen
;
Guozhu Chen
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Tools;
Smart phones;
Instruments;
Computer bugs;
Optimization;
Conferences;
Search problems;
62.
Applying Change Impact Analysis Test to Migration Test Case Extraction Based on IDAU and Graph Analysis Techniques
机译:
基于IDAU和图分析技术的变更影响分析测试在迁移测试用例提取中的应用
作者:
Tomohiro Takeda
;
Masakazu Takahashi
;
Tsuyoshi Yumoto
;
Satoshi Masuda
;
Tohru Matsuodani
;
Kazuhiko Tsuda
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Data mining;
Software;
Software testing;
Business;
Computer bugs;
Measurement;
63.
Message from the TAIC PART 2019 Chairs
机译:
TAIC PART 2019主席致辞
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
combinatorial mathematics;
Java;
learning (artificial intelligence);
program debugging;
program testing;
64.
Test Agents: The Next Generation of Test Cases
机译:
测试代理:下一代测试用例
作者:
Eduard Enoiu
;
Mirgita Frasheri
会议名称:
《2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops》
|
2019年
关键词:
Software;
Task analysis;
Software testing;
Automation;
Adaptation models;
Switches;
65.
TAIC PART 2019 Program Committee
机译:
支持部分2019年计划委员会
会议名称:
《》
|
2019年
意见反馈
回到顶部
回到首页