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

IFIP WG 6.1 international conference on testing software and systems

召开年：2015
召开地：Sharjah and Dubai(AE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Checking Experiments for Finite State Machines with Symbolic Inputs

机译：带符号输入的有限状态机的检查实验
- 作者：Alexandra Petrenko;Adenilso Simao
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
2.Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

机译：使用多个自适应区分序列检查序列生成
- 作者：Canan Guenicen;Guy-Vincent Jourdan;Huesnue Yeniguen
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
3.Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

机译：从程序调用和合同丰富的输入输出符号转换系统进行基于模型的测试
- 作者：Imen Boudhiba;Christophe Gaston;Pascale Le Gall;Virgile Prevosto
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Input output symbolic transition systems;
- Program contracts;
- Model-based testing;
- Symbolic execution;
- Feasibility;
4.Graph Methods for Generating Test Cases with Universal and Existential Constraints

机译：具有通用约束和现有约束的测试用例的图方法
- 作者：Sylvain Halle;Edmond La Chance;Sebastien Gaboury
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
5.Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

机译：使用模式覆盖率降低基于语法的测试成本
- 作者：Cleverton Hentz;Jurgen J. Vinju;Anamaria M. Moreira
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Software test;
- Meta program;
- Pattern matching;
- Grammar-based testing;
6.Automated Test Design for Boundaries of Product Line Variants

机译：产品线变体边界的自动化测试设计
- 作者：Stephan Weissleder;Florian Wartenberg;Hartmut Lackner
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
7.Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP

机译：指导测试人员掌握监控工具：SIP中测试方法的应用
- 作者：Xiaoping Che;Stephane Maag;Huu Nghia Nguyen;Fatiha Zaiedi
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Formal methods;
- Passive testing;
- Monitoring;
- SIP;
8.Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach

机译：在电子表格中区分维修候选者的测试-Mussco方法
- 作者：Rui Abreu;Simon Ausserlechner;Birgit Hofer;Franz Wotawa
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Fault localization;
- Spreadsheet debugging;
- Distinguishing test-cases;
- Spreadsheet mutations;
9.Novel Insights on Cross Project Fault Prediction Applied to Automotive Software

机译：跨项目故障预测应用于汽车软件的新颖见解
- 作者：Harald Altinger;Steffen Herbold;Jens Grabowski;Franz Wotawa
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Project fault prediction;
- Cross project fault prediction;
- Automotive;
- Principal component analysis;
10.Inferring Finite State Machines Without Reset Using State Identification Sequences

机译：使用状态识别序列推断没有复位的有限状态机
- 作者：Roland Groz;Adenilso Simao;Alexandra Petrenko;Catherine Oriat
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Finite state machines;
- Model inference;
- Testing;
11.Mu2: A Refactoring-Based Mutation Testing Framework for Erlang

机译：Mu2：用于Erlang的基于重构的变异测试框架
- 作者：Ramsay Taylor;John Derrick
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
12.A Survey on Testing for Cyber Physical System

机译：网络物理系统测试调查
- 作者：Sara Abbaspour Asadollah;Rafia Inam;Hans Hansson
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Testing;
- Cyber physical systems;
- Survey;
13.Test-Data Generation for Testing Parallel Real-Time Systems

机译：用于测试并行实时系统的测试数据生成
- 作者：Muhammad Waqar Aziz;Syed Abdul Baqi Shah
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
14.Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations

机译：测试动态行为适应的选择性测试生成方法
- 作者：Mariam Lahami;Moez Krichen;Hajer Barhoumi;Mohamed Jmaiel
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
15.Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines

机译：不确定性有限状态机的自适应归位和区分序列的启发式方法
- 作者：Natalia Kushik;Huesnue Yeniguen
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
16.Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning

机译：遗传算法在增强状态敏感性划分中的应用
- 作者：Ammar Mohammed Sultan;Salmi Baharom;Abdul Azim Abd Ghani;Jamilah Din;Hazura Zulzalil
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Genetic Algorithm (GA);
- State-Sensitivity partitioning (SSP);
- Test case;
- Sequence of events;
- Data state;
17.A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing

机译：负输入空间复杂度度量作为模糊测试的选择标准
- 作者：Martin A. Schneider;Marc-Florian Wendland;Andreas Hoffmann
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Security testing;
- Risk-based testing;
- Fuzz testing;
- Security metrics;
18.A Practical Evaluation Method of Network Traffic Load for Capacity Planning

机译：容量规划的网络流量负载实用评估方法
- 作者：Takeshi Kitahara;Shuichi Nawata;Masaki Suzuki;Norihiro Fukumoto;Shigehiro Ano
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
- Capacity planning;
- Traffic monitoring;
- Traffic load testing;
- Queuing simulation;
19.Preface

机译：前言
- 作者：Khaled El-Fakih;Gerassimos Barlas;Nina Yevtushenko
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
20.Testing Software Systems - A Perspective

机译：测试软件系统-观点
- 作者：Gregor V. Bochmann
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年
21.Formal Modeling and Testing for Designing Future IoT Based Systems

机译：用于设计基于物联网的未来系统的正式建模和测试
- 作者：Teruo Higashino
- 会议名称：《IFIP WG 6.1 international conference on testing software and systems》 | 2015年