首页>外文会议>IFIP WG 6.1 international conference on testing software and systems

IFIP WG 6.1 international conference on testing software and systems

召开年：2018
召开地：Cadiz(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Inmaculada Medina-Bulo;Mercedes G. Merayo;Robert Hierons
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2018年
2.Do We Care Enough About 'Good' Test Cases? (Invited Talk)

机译：我们是否足够关注“好的”测试用例？（特邀演讲）
- 作者：Alexander Pretschner
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2018年
3.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年
4.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年
5.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;
6.JMCTest: Automatically Testing Inter-Method Contracts in Java

机译：JMCTest：使用Java自动测试方法间协定
- 作者：Paul Boerding;Jan Haltermann;Marie-Christine Jakobs;Heike Wehrheim
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2018年
7.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;
8.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年
9.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年
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.Conformance Testing and Inference of Embedded Components

机译：嵌入式组件的一致性测试和推断
- 作者：Alexandre Petrenko;Florent Avellaneda
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2018年
13.Neural Networks as Artificial Specifications

机译：神经网络作为人工规范
- 作者：I. S. Wishnu B. Prasetya;Minh An Iran
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2018年
- Neural network for software testing;
- Automated oracles;
14.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;
15.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;
16.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;