首页>外文会议>International workshop on Automation of software test

International workshop on Automation of software test

召开年：2006
召开地：Shanghai(CN)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Automatic test case generation for UML activity diagrams

机译：自动为UML活动图生成测试用例
- 作者：Chen Mingsong;Qiu Xiaokang;Li Xuandong
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test adequacy;
2.Automation of GUI testing using a model-driven approach

机译：使用模型驱动的方法来自动化GUI测试
- 作者：Marlon Vieira;Johanne Leduc;Bill Hasling;Rajesh Subramanyan;Juergen Kazmeier
- 会议名称：《International workshop on Automation of software test》 | 2006年
- model based testing;
3.On the integration of design and test

机译：论设计与测试的融合
- 作者：Christian Pfaller;Andreas Fleischmann;Judith Hartmann;Martin Rappl;Sabine Rittmann;Doris Wild
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test case specification;
4.Deriving tests from UML 2.0 sequence diagrams with neg and assert

机译：使用neg和assert从UML 2.0序列图中派生测试
- 作者：Mass Soldal Lund;Ketil Stolen
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test derivation;
5.Automated verification and test case generation for input validation

机译：自动验证和测试用例生成，用于输入验证
- 作者：Hui Liu;Hee Beng Kuan Tan
- 会议名称：《International workshop on Automation of software test》 | 2006年
- software verification;
6.Automated WCET analysis based on program modes

机译：基于程序模式的自动WCET分析
- 作者：Meng-Luo Ji;Ji Wang;Shuhao Li;Zhi-Chang Qi
- 会议名称：《International workshop on Automation of software test》 | 2006年
- real-time systems;
7.Testing software modelling tools using data mutation

机译：使用数据突变测试软件建模工具
- 作者：Lijun Shan;Hong Zhu
- 会议名称：《International workshop on Automation of software test》 | 2006年
8.Coupling-based class integration and test order

机译：基于耦合的类集成和测试顺序
- 作者：Aynur Abdurazik;Jeff Offutt
- 会议名称：《International workshop on Automation of software test》 | 2006年
- coupling;
9.Automatically testing interacting software components

机译：自动测试交互的软件组件
- 作者：Leonard Gallagher;Jeff Offutt
- 会议名称：《International workshop on Automation of software test》 | 2006年
10.Substra

机译：基质
- 作者：Hai Yuan;Tao Xie
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test generation;
11.Optimal and adaptive testing with cost constraints

机译：具有成本约束的最优和自适应测试
- 作者：Kai-Yuan Cai;Yong-Chao Li;Wei-Yi Ning;W. Eric Wong;Hai Hu
- 会议名称：《International workshop on Automation of software test》 | 2006年
- software testing;
12.The class-level mutants of MuJava

机译：MuJava的类级变量
- 作者：Jeff Offutt;Yu-Seung Ma;Yong-Rae Kwon
- 会议名称：《International workshop on Automation of software test》 | 2006年
13.Economic perspectives in test automation

机译：测试自动化的经济学观点
- 作者：Rudolf Ramler;Klaus Wolfmaier
- 会议名称：《International workshop on Automation of software test》 | 2006年
- testing economics;
14.Advanced unit testing

机译：高级单元测试
- 作者：Cyrille Artho;Armin Biere
- 会议名称：《International workshop on Automation of software test》 | 2006年
- unit testing;
15.A survey of coverage based testing tools

机译：基于覆盖率的测试工具的调查
- 作者：Qian Yang;J. Jenny Li;David Weiss
- 会议名称：《International workshop on Automation of software test》 | 2006年
- prioritization;
16.Developing a TTCN-3 test harness for legacy software

机译：为旧版软件开发TTCN-3测试工具
- 作者：Joseph C. Okika;Anders P. Ravn;Zhiming Liu;Lokesh Siddalingaiah
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test harness;
17.EasyAccept

机译：易接受
- 作者：Jacques Philippe Sauve;Osorio Lopes Abath Neto;Walfredo Cirne
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test-driven development;
18.A strategy to perform coverage testing of mobile applications

机译：执行移动应用程序覆盖测试的策略
- 作者：M. E. Delamaro;A. M. R. Vincenzi;J. C. Maldonado
- 会议名称：《International workshop on Automation of software test》 | 2006年
- testing environment;
19.Automated instrumentation of contracts and scenarios for requirements validation in .net

机译：在.NET中自动化合同仪器和方案的需求验证
- 作者：Dave Arnold;Jean-Pierre Corriveau
- 会议名称：《International workshop on Automation of software test》 | 2008年
- validation;
20.Generating security tests in addition to functional tests

机译：除了功能测试之外，还会生成安全测试
- 作者：Jacques Julliand;Pierre-Alain Masson;Regis Tissot
- 会议名称：《International workshop on Automation of software test》 | 2008年
- test purposes;
21.A test generation solution to automate software testing

机译：用于自动化软件测试的测试解决方案
- 作者：Fabrice Bouquet;Christophe Grandpierre;Bruno Legeard;Fabien Peureux
- 会议名称：《International workshop on Automation of software test》 | 2008年
- software testing;
22.An automated technique for risk-based test case generation and prioritization

机译：一种基于风险的测试用例的自动化技术和优先级
- 作者：Heiko Stallbaum;Andreas Metzger;Klaus Pohl
- 会议名称：《International workshop on Automation of software test》 | 2008年
- test case generation;
23.Supporting the selection of model-based testing approaches for software projects

机译：支持选择基于模型的软件项目的测试方法
- 作者：Arilo Claudio Dias Neto;Guilherme Horta Travassos
- 会议名称：《International workshop on Automation of software test》 | 2008年
- testing process;
24.A generic formal framework for protocol interoperability test and test cases minimization

机译：一个通用的协议互操作性测试框架和测试用例最小化
- 作者：Ning Zhong;Zun-wen He;Jing-ming Kuang
- 会议名称：《International workshop on Automation of software test》 | 2008年
- test sequences;
25.Vision

机译：想象
- 作者：Stephen P. Masticola;Michael Gall
- 会议名称：《International workshop on Automation of software test》 | 2008年
- testability;
26.Using model transformation to support model-based test coverage measurement

机译：使用模型转换来支持基于模型的测试覆盖度测量
- 作者：Leila Naslavsky;Hadar Ziv;Debra J. Richardson
- 会议名称：《International workshop on Automation of software test》 | 2008年
- traceability;
27.Test generation for graphical user interfaces based on symbolic execution

机译：基于符号执行的图形用户界面的测试生成
- 作者：Svetoslav R. Ganov;Chip Killmar;Sarfraz Khurshid;Dewayne E. Perry
- 会议名称：《International workshop on Automation of software test》 | 2008年
- test input generation;
28.A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software

机译：评估对面向对象软件进化测试的可行性和不可行的测试用例的策略
- 作者：Jose Carlos Bregieiro Ribeiro;Mario Zenha Rela;Francisco Fernandez de Vega
- 会议名称：《International workshop on Automation of software test》 | 2008年
- strongly-typed genetic programming;
29.An EFSM-based test generation for validation of SDL specifications

机译：基于EFSM的测试生成，用于验证SDL规范
- 作者：W. Eric Wong;Andy Restrepo;Yu Qi;Byoungju Choi
- 会议名称：《International workshop on Automation of software test》 | 2008年
- coverage testing;
30.An automatically-generated run-time instrumenter to reduce coverage testing overhead

机译：一个自动生成的运行时仪器，可减少覆盖测试开销
- 作者：J. Jenny Li;David M. Weiss;Howell Yee
- 会议名称：《International workshop on Automation of software test》 | 2008年
- program instrumentation;
31.Evaluating test adequacy coverage of high level petri nets using spin

机译：使用旋转评估高级培养网的测试充足覆盖
- 作者：Junhua Ding;Gonzalo Argote-Garcia;Peter J. Clarke;Xudong He
- 会议名称：《International workshop on Automation of software test》 | 2008年
- spin;
32.Requirements-based test case specification by using information from model construction

机译：基于要求的测试用例规范通过使用模型构造信息
- 作者：Christian Pfaller
- 会议名称：《International workshop on Automation of software test》 | 2008年
- test case specification;
33.Developing a TTCN-3 test harness for legacy software

机译：为遗留软件开发TTCN-3测试线束
- 作者：Joseph C. Okika;Anders P. Ravn;Zhiming Liu;Lokesh Siddalingaiah
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test harness;
34.Automated verification and test case generation for input validation

机译：自动验证和输入验证的测试案例
- 作者：Hui Liu;Hee Beng Kuan Tan
- 会议名称：《International workshop on Automation of software test》 | 2006年
- software verification;
35.Automatic test case generation for UML activity diagrams

机译：用于UML活动图的自动测试用例
- 作者：Chen Mingsong;Qiu Xiaokang;Li Xuandong
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test adequacy;
36.A strategy to perform coverage testing of mobile applications

机译：执行移动应用程序覆盖测试的策略
- 作者：M. E. Delamaro;A. M. R. Vincenzi;J. C. Maldonado
- 会议名称：《International workshop on Automation of software test》 | 2006年
- testing environment;
37.Testing software modelling tools using data mutation

机译：使用数据变异测试软件建模工具
- 作者：Lijun Shan;Hong Zhu
- 会议名称：《International workshop on Automation of software test》 | 2006年
38.Deriving tests from UML 2.0 sequence diagrams with neg and assert

机译：从UML 2.0序列图使用Neg和Assert获得测试
- 作者：Mass Soldal Lund;Ketil Stolen
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test derivation;
39.Coupling-based class integration and test order

机译：基于耦合的类集成和测试订单
- 作者：Aynur Abdurazik;Jeff Offutt
- 会议名称：《International workshop on Automation of software test》 | 2006年
- coupling;
40.Automated WCET analysis based on program modes

机译：基于程序模式的自动化WCET分析
- 作者：Meng-Luo Ji;Ji Wang;Shuhao Li;Zhi-Chang Qi
- 会议名称：《International workshop on Automation of software test》 | 2006年
- real-time systems;
41.On the integration of design and test

机译：论设计与测试的整合
- 作者：Christian Pfaller;Andreas Fleischmann;Judith Hartmann;Martin Rappl;Sabine Rittmann;Doris Wild
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test case specification;
42.Substra

机译：基质
- 作者：Hai Yuan;Tao Xie
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test generation;
43.Optimal and adaptive testing with cost constraints

机译：具有成本约束的最佳和自适应测试
- 作者：Kai-Yuan Cai;Yong-Chao Li;Wei-Yi Ning;W. Eric Wong;Hai Hu
- 会议名称：《International workshop on Automation of software test》 | 2006年
- software testing;
44.EasyAccept

机译：easyaccept.
- 作者：Jacques Philippe Sauve;Osorio Lopes Abath Neto;Walfredo Cirne
- 会议名称：《International workshop on Automation of software test》 | 2006年
- test-driven development;
45.Advanced unit testing

机译：先进的单元测试
- 作者：Cyrille Artho;Armin Biere
- 会议名称：《International workshop on Automation of software test》 | 2006年
- unit testing;
46.Economic perspectives in test automation

机译：经济视角在测试自动化中
- 作者：Rudolf Ramler;Klaus Wolfmaier
- 会议名称：《International workshop on Automation of software test》 | 2006年
- testing economics;
47.The class-level mutants of MuJava

机译：Mujava的类级突变体
- 作者：Jeff Offutt;Yu-Seung Ma;Yong-Rae Kwon
- 会议名称：《International workshop on Automation of software test》 | 2006年
48.Automatically testing interacting software components

机译：自动测试交互软件组件
- 作者：Leonard Gallagher;Jeff Offutt
- 会议名称：《International workshop on Automation of software test》 | 2006年
49.A survey of coverage based testing tools

机译：基于覆盖的测试工具调查
- 作者：Qian Yang;J. Jenny Li;David Weiss
- 会议名称：《International workshop on Automation of software test》 | 2006年
- prioritization;
50.Automation of GUI testing using a model-driven approach

机译：使用模型驱动方法自动化GUI测试
- 作者：Marlon Vieira;Johanne Leduc;Bill Hasling;Rajesh Subramanyan;Juergen Kazmeier
- 会议名称：《International workshop on Automation of software test》 | 2006年
- model based testing;