掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IFIP WG 6.1 International Conference on Testing Software and Systems
IFIP WG 6.1 International Conference on Testing Software and Systems
召开年:
2019
召开地:
Paris(FR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation
机译:
在推导测试套件w.r.t时,精炼规范FSM。减少关系
作者:
Aleksandr Tvardovskii
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
Finite state machines (FSM);
Nondeterministic FSM;
Test derivation;
2.
Safety-Complete Test Suites
机译:
安全完整的测试套件
作者:
Wen-ling Huang
;
Jan Peleska
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
Model-based testing;
Complete testing theories;
Safety;
3.
A 'Strength of Decision Tree Equivalence'-Taxonomy and Its Impact on Test Suite Reduction
机译:
“决策树等效的强度” - 天值及其对减少试验套件的影响
作者:
Hermann Felbinger
;
Ingo Pill
;
Franz Wotawa
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
Test suite reduction;
Decision tree equivalence;
4.
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques
机译:
在结合验证和测试技术时,使用稳健性测试来处理不完整的验证结果
作者:
Stefan Huster
;
Jonas Strobele
;
Jurgen Ruf
;
Thomas Kropf
;
Wolfgang Rosenstiel
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
Software verification;
Robustness testing;
Test vector generation;
5.
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
机译:
在随机用户配置文件下检查Web服务应用程序的响应时间属性
作者:
Richard Schumi
;
Priska Lang
;
Bernhard K. Aichernig
;
Willibald Krenn
;
Rupert Schlick
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
Statistical model checking;
Property-based testing;
Model-based testing;
FsCheck;
User profiles;
Response time;
Cost learning;
6.
Fragility-Oriented Testing with Model Execution and Reinforcement Learning
机译:
以脆弱的脆弱性测试测试,具有模型执行和加强学习
作者:
Tao Ma
;
Shaukat Ali
;
Tao Yue
;
Maged Elaasar
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
Cyber-Physical Systems;
Uncertainty;
Self-healing behaviors;
Model execution;
Reinforcement learning;
7.
Adaptive Localizer Based on Splitting Trees
机译:
基于分裂树的自适应定位器
作者:
Roland Groz
;
Adenilso Simao
;
Catherine Oriat
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
8.
Generating Checking Sequences for User Defined Fault Models
机译:
生成用户定义故障模型的检查序列
作者:
Alexandre Petrenko
;
Adenilso Simao
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2017年
关键词:
FSM testing;
Fault models;
Checking sequence;
Mutation machine;
9.
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems
机译:
组合模型学习和数据分析来生成基于组件的系统模型
作者:
Sebastien Salva
;
Elliott Blot
;
Patrice Laurencot
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Model learning;
Passive learning;
Reverse engineering;
Component-based systems;
10.
An Energy Aware Testing Framework for Smart-Spaces
机译:
智能空间的能量意识到测试框架
作者:
Teruhiro Mizumoto
;
Khaled El-Fakih
;
Keiichi Yasumoto
;
Teruo Higashino
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Ubiquitous computing systems;
Smart-spaces;
Minimal energy context move;
Energy based simulation and testing framework;
11.
C++11/14 Mutation Operators Based on Common Fault Patterns
机译:
C ++ 11/14基于常见故障模式的突变运算符
作者:
Ali Parsai
;
Serge Demeyer
;
Seph De Busser
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Software testing;
Mutation testing;
C++11/14;
Mutation operators;
12.
JMCTEST: Automatically Testing Inter-Method Contracts in Java
机译:
JMCTEST:自动测试Java中的方法间合同
作者:
Paul Bording
;
Jan Haltermann
;
Marie-Christine Jakobs
;
Heike Wehrheim
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
13.
Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts
机译:
使用超时的有限状态机提供有限状态机的测试测试
作者:
Aleksandr Tvardovskii
;
Khaled El-Fakih
;
Nina Yevtushenko
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Conformance testing;
Timed finite state machines;
14.
Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach
机译:
启用SDN的交换机的测试导出:基于逻辑电路的方法
作者:
Jorge Lopez
;
Natalia Kushik
;
Asma Berriri
;
Nina Yevtushenko
;
Djamal Zeghlache
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Software Defined Networking (SDN);
SDN-enabled switches;
Mutation testing;
Run-time verification;
Logic circuits;
15.
Testing Ambient Assisted Living Solutions with Simulations
机译:
使用模拟测试环境辅助生活解决方案
作者:
Marlon Cardenas
;
Jorge Gomez Sanz
;
Juan Pavon
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
3D simulation;
Ambient Assisted Living (AAL);
Real-time simulation;
Requirements gathering;
16.
Conformance Testing and Inference of Embedded Components
机译:
嵌入式组件的一致性测试和推理
作者:
Alexandre Petrenko
;
Florent Avellaneda
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Active inference;
FSM learning;
Conformance testing;
Component-based systems;
Embedded testing;
Testing in context;
SAT solving;
17.
From Ontologies to Input Models for Combinatorial Testing
机译:
从本体到输入模型的组合测试
作者:
Franz Wotawa
;
Yihao Li
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Combinatorial testing;
Ontologies;
Combinatorial testing input models;
18.
Interactive Testing and Repairing of Regular Expressions
机译:
互动测试和修复正则表达式
作者:
Paolo Arcaini
;
Angelo Gargantini
;
Elvinia Riccobene
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
19.
Security Testing for Chatbots
机译:
聊天禁止的安全测试
作者:
Josip Bozic
;
Franz Wotawa
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Adaptive systems;
Security testing;
Chatbots;
20.
Validation of Transformation from Abstract State Machine Models to C++ Code
机译:
从抽象状态机模型转换到C ++代码的转换
作者:
Silvia Bonfanti
;
Angelo Gargantini
;
Atif Mashkoor
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
21.
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior
机译:
从测试案例模式生成OCL约束,以测试模型行为
作者:
Nisha Desai
;
Martin Gogolla
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
22.
Neural Networks as Artificial Specifications
机译:
神经网络作为人造规范
作者:
I. S. Wishnu B. Prasetya
;
Minh An Tran
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2018年
关键词:
Neural network for software testing;
Automated oracles;
23.
TestDCat: Catalog of Test Debt Subtypes and Management Activities
机译:
testdcat:测试债务亚型和管理活动的目录
作者:
Bruno S. Aragao
;
Rossana M. C. Andrade
;
Ismayle S. Santos
;
Rute N. S. Castro
;
Valeria Lelli
;
Ticianne G. R. Darin
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Technical Debt;
Test Debt;
Testing process;
TD management activity;
24.
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
机译:
使用抽象状态机结合模型细化和测试生成IEEE PHD协议的一致性测试
作者:
Andrea Bombarda
;
Silvia Bonfanti
;
Angelo Gargantini
;
Marco Radavelli
;
Feng Duan
;
Yu Lei
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
25.
Attack Tolerance for Services-Based Applications in the Cloud
机译:
云中基于服务的应用程序的攻击容忍度
作者:
Georges Ouffoue
;
Fatiha Zaidi
;
Ana R. Cavalli
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Attack tolerance;
Runtime verification;
Monitoring;
Web services and cloud;
Passive tests;
Software reflection;
26.
Testing Chatbots Using Metamorphic Relations
机译:
使用变质关系测试Chatbots
作者:
Josip Bozic
;
Franz Wotawa
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Metamorphic testing;
Functional testing;
Chatbots;
27.
Automatic Generation of Test Oracles from Component Based Software Architectures
机译:
从基于组件的软件架构自动生成测试oracles
作者:
Maxime Samson
;
Thomas Vergnaud
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Component Based Software Engineering;
Model based testing;
UCM;
28.
Regular Expression Learning with Evolutionary Testing and Repair
机译:
具有进化测试和修复的正规表达学习
作者:
Paolo Arcaini
;
Angelo Gargantini
;
Elvinia Riccobene
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Regular expression;
Mutation testing;
Software repair;
Evolutionary approach;
29.
Towards an Efficient Performance Testing Through Dynamic Workload Adaptation
机译:
通过动态工作负载自适应实现高效的性能测试
作者:
Osvaldo Huerta-Guevara
;
Vanessa Ayala-Rivera
;
Liam Murphy
;
A. Omar Portillo-Dominguez
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Software engineering;
Performance testing;
Performance bug;
Workload;
Web systems and applications;
30.
Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs
机译:
为机器学习程序的变质测试生成偏置数据集
作者:
Shin Nakajima
;
Tsong Yuen Chen
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
31.
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation
机译:
基于两个搜索的ADAS系统验证测试策略的性能比较
作者:
Florian Klueck
;
Martin Zimmermann
;
Franz Wotawa
;
Mihai Nica
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Autonomous vehicles;
Genetic algorithm;
Simulated annealing;
System verification;
Automatic testing;
32.
Preface
机译:
前言
作者:
Nikolai Kosmatov
;
Christophe Gaston
;
Pascale Le Gall
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
33.
A Mechanised Proof of an Adaptive State Counting Algorithm
机译:
自适应状态计数算法的机械化证明
作者:
Robert Sachtleben
;
Robert M. Hierons
;
Wen-ling Huang
;
Jan Peleska
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Complete test methods;
Finite state machines;
Reduction;
Proof assistants;
Isabelle/HOL;
Mechanised proofs;
34.
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs
机译:
评估衍生自适应归巢,同步和区分序列的复杂性,对非定义FSMS进行
作者:
Nina Yevtushenko
;
Victor Kuliamin
;
Natalia Kushik
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Nondeterministic Finite State Machine (FSM);
Adaptive homing sequence;
Adaptive synchronizing sequence;
Adaptive distinguishing sequence;
35.
Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs
机译:
有界详尽的详尽测试,具有认证和优化的数据枚举程序
作者:
Clotilde Erard
;
Alain Giorgetti
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Bounded exhaustive testing;
Formal verification;
Algorithmic efficiency;
36.
A Model Checking Based Approach for Detecting SDN Races
机译:
基于模型检测SDN播放的方法
作者:
Evgcnii Vinarskii
;
Jorge Lopez
;
Natalia Kushik
;
Nina Yevtushenko
;
Djamal Zeghlache
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Software Defined Networking (SDN);
Races;
Controller;
Switch;
Verification;
Testing;
37.
Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts
机译:
定时后卫和超时定时有限状态机的多突变测试
作者:
Omer Nguena Timo
;
Dimitri Prestat
;
Antoine Rollet
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
38.
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
机译:
通过组合基于模型的测试和机器学习学习混合系统的行为模型
作者:
Bernhard K. Aichernig
;
Roderick Bloem
;
Masoud Ebrahimi
;
Martin Horn
;
Franz Pernkopf
;
Wolfgang Roth
;
Astrid Rupp
;
Martin Tappler
;
Markus Tranninger
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Hybrid systems;
Behavior modeling;
Automata learning;
Model-Based Testing;
Machine learning;
Autonomous vehicle;
Platooning;
39.
Testing Human-Centric Cyber-Physical Systems
机译:
测试以人为本的网络物理系统
作者:
Mauro Pezze
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
40.
Intelligence Testing of Autonomous Software Systems
机译:
自主软件系统的智能测试
作者:
Arnaud Gotlieb
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
41.
Industrial IoT Security Monitoring and Test on Fed4Fire+ Platforms
机译:
Fed4Fire +平台上的工业物联网安全监控和测试
作者:
Diego Rivera
;
Edgardo Mont.es de Oca
;
Wissam Mallouli
;
Ana R. Cavalli
;
Brecht Vermeulen
;
Matevz Vucnik
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Monitoring;
Testing;
IoT;
Industrial applications;
Fed4Fire;
MMT;
42.
An Empirical Evaluation of Search Algorithms for App Testing
机译:
应用测试算法的实证评估
作者:
Leon Sell
;
Michael Auer
;
Christoph Fraedrich
;
Michael Gruber
;
Philemon Werli
;
Gordon Fraser
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Software testing;
Android;
Genetic algorithm;
43.
DYNAMOJM: A JMeter Tool for Performance Testing Using Dynamic Workload Adaptation
机译:
Dynamojm:使用动态工作负载自适应进行性能测试的JMeter工具
作者:
Osvaldo Huerta-Guevara
;
Vanessa Ayala-Rivera
;
Liam Murphy
;
A. Omar Portillo-Dominguez
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2019年
关键词:
Software engineering;
Performance testing;
Performance bug;
Workload;
Web systems and applications;
44.
Design of Prioritized N-Wise Testing
机译:
优先确定N-WISE测试的设计
作者:
Eun-Hye Choi
;
Takashi Kitamura
;
Cyrille Artho
;
Yutaka Oiwa
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2014年
关键词:
Combinatorial testing;
N-wise testing;
Prioritized testing;
45.
Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria
机译:
主要路径和其他结构覆盖标准的最小测试路径数
作者:
Anurag Dwarakanath
;
Aruna Jankiti
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2014年
关键词:
Model Based Testing;
Minimum Number of Test Paths;
Prime Path Coverage;
Minimum Flow;
46.
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
机译:
在非确定性和巧合的正确性存在下解决相同的突变问题
作者:
Krishna Patel
;
Robert M. Hierons
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Mutation testing;
Coincidental correctness;
Non-determinism;
Equivalent mutant problem;
47.
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
机译:
在Web应用程序安全测试中分析跨站点脚本(XSS)漏洞的组合方法
作者:
Dimitris E. Simos
;
Kristoffer Kleine
;
Laleh Shikh Gholamhossein Ghandehari
;
Bernhard Garn
;
Yu Lei
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Combinatorial testing;
XSS;
Fault localization;
Security testing;
48.
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking
机译:
使用模型检查的PLC嵌入式软件的基于突变的测试生成
作者:
Eduard P. Enoiu
;
Daniel Sundmark
;
Adnan Causevic
;
Robert Feldt
;
Paul Pettersson
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
49.
From Simulation Data to Test Cases for Fully Automated Driving and ADAS
机译:
从模拟数据到全自动驾驶和ADAS的测试用例
作者:
Christoph Sippl
;
Florian Bock
;
David Wittmann
;
Harald Altinger
;
Reinhard German
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Virtual validation;
ADAS;
Fully automated vehicles;
Simulation;
Test case generation;
DSL;
50.
Parallelizing Heuristics for Generating Synchronizing Sequences
机译:
用于生成同步序列的并行提升机
作者:
Sertac Karahoda
;
Osman Tufan Erenay
;
Kamer Kaya
;
Uraz Cengiz Turker
;
Husnu Yenigun
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
51.
Searching Critical Values for Floating-Point Programs
机译:
搜索浮点程序的关键值
作者:
Helene Collavizza
;
Claude Michel
;
Michel Rueher
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
52.
Automated Localisation Testing in Industry with Test
机译:
具有测试的工业中自动定位测试
作者:
Mireilla Martinez
;
Anna I. Esparcia
;
Urko Rueda
;
Tanja E. J. Vos
;
Carlos Ortega
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Automated testing;
Localisation;
Technology transfer;
53.
Back-to-Back Testing of Self-organization Mechanisms
机译:
自组织机制的背靠背测试
作者:
Benedikt Eberhardinger
;
Axel Habermaier
;
Hella Seebach
;
Wolfgang Reif
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Adaptive systems;
Self-organization;
Software engineering;
Software testing;
Quality assurance;
Back-to-back testing;
Model-based testing;
54.
Set-Based Algorithms for Combinatorial Test Set Generation
机译:
基于集合的组合测试集生成算法
作者:
Ludwig Kampel
;
Dimitris E. Simos
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Combinatorial testing;
Independent families of sets;
Set-based algorithms;
55.
Controllability Through Nondeterminism in Distributed Testing
机译:
分布式测试中的非季度的可控性
作者:
Robert M. Hierons
;
Mercedes G. Merayo
;
Manuel Nunez
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
56.
Risk-Based Interoperability Testing Using Reinforcement Learning
机译:
基于风险的互操作性测试使用钢筋学习
作者:
Andre Reichstaller
;
Benedikt Eberhardinger
;
Alexander Knapp
;
Wolfgang Reif
;
Marcel Gehlen
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
57.
Distribution Visualization for User Behavior Analysis on LTE Network
机译:
LTE网络用户行为分析的分布式可视化
作者:
Masaki Suzuki
;
Quentin Plessis
;
Takeshi Kitahara
;
Masato Tsuru
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
LTE;
C-Plane analysis;
Self-Organizing Map (SOM);
58.
STIPI: Using Search to Prioritize Test Cases Based on Multi-objectives Derived from Industrial Practice
机译:
STIPI:使用搜索来基于从工业实践中获得的多目标的测试用例优先考虑
作者:
Dipesh Pradhan
;
Shuai Wang
;
Shaukat Ali
;
Tao Yue
;
Marius Liaaen
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Test case prioritization;
Search;
Configurations;
Test APIs;
59.
Test Generation by Constraint Solving and FSM Mutant Killing
机译:
由约束解决和FSM突变杀死的测试
作者:
Alexandre Petrenko
;
Omer Nguena Timo
;
S. Ramesh
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
FSM;
Conformance testing;
Mutation testing;
Fault modelling;
Fault model-based test generation;
Test coverage;
Fault coverage analysis;
60.
On-the-Fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications
机译:
适应性检查序列的现场施工,用于测试非预定规范的确定性实现
作者:
Nina Yevtushenko
;
Khaled El-Fakih
;
Anton Ermakov
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Nondeterministic finite state machines;
Reduction relation;
Fault model;
Test derivation;
Distinguishing test case;
Definitely reachable states;
Adaptive sequence;
61.
Conformance Testing with Respect to Partial-Order Specifications
机译:
一致性地测试部分订单规范
作者:
Gregor von Bochmann
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
62.
Towards Model Construction Based on Test Cases and GUI Extraction
机译:
基于测试用例和GUI提取的模型施工
作者:
Antti Jaaskelainen
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
Model extraction;
Model-based testing;
Software testing;
63.
UTTOS: A Tool for Testing UEFI Code in OS Environment
机译:
UTTOS:用于在OS环境中测试UEFI代码的工具
作者:
Eder C. M. Gomes
;
Paulo R. P. Amora
;
Elvis M. Teixeira
;
Antonio G. S. Lima
;
Felipe T. Brito
;
Juliano F. C. Ciocari
;
Javam C. Machado
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2016年
关键词:
UEFI;
Unit test;
C;
Code coverage;
Embedded systems;
64.
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
机译:
询问虚拟代理:在寻求安全漏洞中
作者:
Josip Bozic
;
Franz Wotawa
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Security testing;
Model-based testing;
Chatbots;
Web applications;
65.
Learning Abstracted Non-deterministic Finite State Machines
机译:
学习抽象的非确定性有限状态机
作者:
Andrea Pferscher
;
Bcrnhard K. Aichernig
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Active automata learning;
Model inference;
Non-deterministic finite state machines;
MQTT;
66.
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server
机译:
用于开源Web服务器的DOS防御模块的基于测量的分析
作者:
Marta Catillo
;
Antonio Pecchia
;
Umberto Villano
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Denial of Service;
Web server;
Defense;
Availability;
67.
Automated Transition Coverage in Behavioural Conformance Testing
机译:
行为一致性测试中的自动转换覆盖
作者:
Lina Marsso
;
Radu Mateescu
;
Wendelin Serwe
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
68.
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
机译:
自适应状态计数算法的可执行机械化形式化
作者:
Robert Sachtleben
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Complete test methods;
Finite state machines;
Isabelle/HOL;
Mechanised proofs;
Proof assistants;
Reduction;
69.
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System
机译:
基于关键字驱动测试的架构,具有测试系统的域特定语言
作者:
Ricardo B. Pereira
;
Miguel A. Brito
;
Ricardo J. Machado
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Cyber-physical systems;
Test automation;
Keyword Driven Testing;
Domain Specific Language;
Architecture;
70.
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks
机译:
信任在空中:一种评估移动无线网络的新自适应方法
作者:
Alexandra-Elena Mocanu (Mihaita)
;
Bogdan-Costel Mocanu
;
Christian Esposito
;
Florin Pop
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Trust;
Reputation;
Mobile wireless networks;
Secure routing;
Adaptive methods;
71.
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
机译:
高度可配置系统组合和随机检测的比较研究
作者:
Hao Jin
;
Takashi Kitamura
;
Eun-Hye Choi
;
Tatsuhiro Tsuchiya
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Combinatorial testing;
Random testing;
Software product line;
72.
Using Model Learning for the Generation of Mock Components
机译:
利用模型学习来生成模拟组件
作者:
Sebastien Salva
;
Elliott Blot
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Mock;
Model learning;
Quality metrics;
Communicating systems;
73.
About the Robustness and Looseness of Yara Rules
机译:
关于雅拉规则的鲁棒性和松散
作者:
Gerardo Canfora
;
Mimmo Carapella
;
Andrea Del Vecchio
;
Laura Nardi
;
Antonio Pirozzi
;
Corrado Aaron Visaggio
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Yara;
Malware classification;
Threat intelligence;
Threat hunting;
74.
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements
机译:
触发警报:高精度测量的智能NFC嗅探器
作者:
Martin Erb
;
Christian Steger
;
Martin Troyer
;
Josef Preishuber-Pflugl
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Near field communication;
Software defined radio;
Measurement system;
Test platform;
Interoperability;
75.
Hacking Goals: A Goal-Centric Attack Classification Framework
机译:
黑客目标:以目标为中心的攻击分类框架
作者:
Francesco Caturano
;
Gaetano Perrone
;
Simon Pietro Romano
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
76.
Interrogating Virtual Agents: In Quest of Security Vulnerabilities
机译:
询问虚拟代理:在寻求安全漏洞中
作者:
Josip Bozic
;
Franz Wotawa
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Security testing;
Model-based testing;
Chatbots;
Web applications;
77.
APPregator: A Large-Scale Platform for Mobile Security Analysis
机译:
批准:移动安全分析的大型平台
作者:
Luca Verderame
;
Davide Caputo
;
Andrea Romdhana
;
Alessio Merlo
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
App analysis;
Static and dynamic analysis;
Security and privacy;
78.
Preface
机译:
前言
作者:
Valentina Casola
;
Alessandra De Benedictis
;
Massimiliano Rak
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
79.
Vulsploit: A Module for Semi-automatic Exploitation of Vulnerabilities
机译:
volsploit:用于半自动开发漏洞的模块
作者:
Arcangelo Castiglione
;
Francesco Palmieri
;
Mariangela Petraglia
;
Raffaele Pizzolante
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Penetration testing;
Automation of security testing;
Security assessment;
Security monitoring;
Nmap;
Nmap Scripting Engine (NSE);
80.
Enabling Next-Generation Cyber Ranges with Mobile Security Components
机译:
使用移动安全组件启用下一代网络范围
作者:
Enrico Russo
;
Luca Verderame
;
Alessio Merlo
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Cyber range;
Mobile security;
Cybersecurity training;
81.
Methods for Live Testing of Cloud Services
机译:
云服务实时测试的方法
作者:
Oussama Jebbar
;
Ferhat Khendek
;
Maria Toeroe
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Live testing;
Cloud;
Test method;
Boundary environment;
Runtime configuration state;
82.
Using an SMT Solver for Checking the Completeness of FSM-Based Tests
机译:
使用SMT求解器检查基于FSM的测试的完整性
作者:
Evgenii Vinarskii
;
Andrey Laputenko
;
Nina Yevtushenko
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
FSM based testing;
SMT solver;
Fist order logic formulas;
83.
Inspecting Code Churns to Prioritize Test Cases
机译:
检查代码搅拌以优先考虑测试用例
作者:
Francesco Altiero
;
Anna Corazza
;
Sergio Di Martino
;
Adriano Peron
;
Luigi Libero Lucio Starace
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Regression testing;
Test prioritization;
Code churn;
84.
Using Model Learning for the Generation of Mock Components
机译:
利用模型学习来生成模拟组件
作者:
Sebastien Salva
;
Elliott Blot
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Mock;
Model learning;
Quality metrics;
Communicating systems;
85.
APPregator: A Large-Scale Platform for Mobile Security Analysis
机译:
批准:移动安全分析的大型平台
作者:
Luca Verderame
;
Davide Caputo
;
Andrea Romdhana
;
Alessio Merlo
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
App analysis;
Static and dynamic analysis;
Security and privacy;
86.
Trust Is in the Air: A New Adaptive Method to Evaluate Mobile Wireless Networks
机译:
信任在空中:一种评估移动无线网络的新自适应方法
作者:
Alexandra-Elena Mocanu(Mihaita)
;
Bogdan-Costel Mocanu
;
Christian Esposito
;
Florin Pop
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Trust;
Reputation;
Mobile wireless networks;
Secure routing;
Adaptive methods;
87.
A Technique for Parallel GUI Testing of Android Applications
机译:
Android应用程序并行GUI测试技术
作者:
Porfirio Tramontana
;
Nicola Amatucci
;
Anna Rita Fasolino
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
88.
Inspecting Code Churns to Prioritize Test Cases
机译:
检查代码搅拌以优先考虑测试用例
作者:
Francesco Altiero
;
Anna Corazza
;
Sergio Di Martino
;
Adriano Peron
;
Luigi Libero Lucio Starace
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Regression testing;
Test prioritization;
Code churn;
89.
Learning Abstracted Non-deterministic Finite State Machines
机译:
学习抽象的非确定性有限状态机
作者:
Andrea Pferscher
;
Bernhard K. Aichernig
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Active automata learning;
Model inference;
Non-deterministic finite state machines;
MQTT;
90.
Measurement-Based Analysis of a DoS Defense Module for an Open Source Web Server
机译:
用于开源Web服务器的DOS防御模块的基于测量的分析
作者:
Marta Catillo
;
Antonio Pecchia
;
Umberto Villano
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Denial of service;
Web server;
Defense;
Availability;
91.
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
机译:
通过Partialial Max-SAT给出基于模型的测试语言正式语义
作者:
Bernhard K. Aichernig
;
Christian Burghard
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Partial moore machines;
Model transformation;
Consistency checking;
Formal semantics;
Frame problem;
Partial MAX-SAT;
92.
A Technique for Parallel GUI Testing of Android Applications
机译:
Android应用程序并行GUI测试技术
作者:
Porfirio Tramontana
;
Nicola Amatucci
;
Anna Rita Fasolino
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
93.
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm
机译:
自适应状态计数算法的可执行机械化形式化
作者:
Robert Sachtleben
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Complete test methods;
Finite state machines;
Isabelle/HOL;
Mechanised proofs;
Proof assistants;
Reduction;
94.
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT
机译:
通过Partialial Max-SAT给出基于模型的测试语言正式语义
作者:
Bernhard K. Aichernig
;
Christian Burghard
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Partial moore machines;
Model transformation;
Consistency checking;
Formal semantics;
Frame problem;
Partial MAX-SAT;
95.
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
机译:
高度可配置系统组合和随机检测的比较研究
作者:
Hao Jin
;
Takashi Kitamura
;
Eun-Hye Choi
;
Tatsuhiro Tsuchiya
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Combinatorial testing;
Random testing;
Software product line;
96.
Architecture Based on Keyword Driven Testing with Domain Specific Language for a Testing System
机译:
基于关键字驱动测试的架构,具有测试系统的域特定语言
作者:
Ricardo B. Pereira
;
Miguel A. Brito
;
Ricardo J. Machado
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Cyber-physical systems;
Test automation;
Keyword driven testing;
Domain specific language;
Architecture;
97.
Using an SMT Solver for Checking the Completeness of FSM-Based Tests
机译:
使用SMT求解器检查基于FSM的测试的完整性
作者:
Evgenii Vinarskii
;
Andrey Laputenko
;
Nina Yevtushenko
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
FSM based testing;
SMT solver;
Fist order logic formulas;
98.
Methods for Live Testing of Cloud Services
机译:
云服务实时测试的方法
作者:
Oussama Jebbar
;
Ferhat Khendek
;
Maria Toeroe
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Live testing;
Cloud;
Test method;
Boundary environment;
Runtime configuration state;
99.
Automatic Fairness Testing of Machine Learning Models
机译:
机器学习模型的自动公平性测试
作者:
Arnab Sharma
;
Heike Wehrheim
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Fairness;
Machine learning testing;
SMT solving;
100.
Enabling Next-Generation Cyber Ranges with Mobile Security Components
机译:
通过移动安全组件实现下一代网络范围
作者:
Enrico Russo
;
Luca Verderame
;
Alessio Merlo
会议名称:
《IFIP WG 6.1 International Conference on Testing Software and Systems》
|
2020年
关键词:
Cyber range;
Mobile security;
Cybersecurity training;
意见反馈
回到顶部
回到首页