掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Software Testing Verification and Validation, 2009. ICST '09
Software Testing Verification and Validation, 2009. ICST '09
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机系统应用
计算机应用与软件
信息方略
软件学报
计算机应用文摘
传感器世界
卷宗
大众硬件
计算机研究与发展
电脑迷
更多>>
相关外文期刊
Crossroads
Acta Informatica
Journal of information and computing science
Computer Economics Report
International journal of modeling, simulation and scientific computing
Information management & computer security
Journal of experimental algorithmics
Computerworld Canada
International journal of adaptive, resilient, and autonomic systems
Journal of Organizational and End User Computing
更多>>
相关中文会议
第二十二届中国数据库学术会议
第7届中国机器学习学术会议
2008年中国信息技术与应用学术论坛
2009中国计算机大会
全国传感器技术与应用交流研讨会
第十七届全国数据库学术会议
第18届全国计算机新科技与计算机教育学术大会
2015年全国电子认证技术交流大会
第一届中国业务过程管理大会
2013年全国环境建模与仿真技术学术交流会议
更多>>
相关外文会议
Proceedings of the 2006 workshop on Broadband wireless access for ubiquitous networking
7th International Workshop on Data-Intensive Computing in the Clouds
Business impact of process improvements workshop 2008
International Conference on Embedded and Ubiquitous Computing(EUC 2006); 20060801-04; Seoul(KR)
Proceedings of the 5th ACM SIGSMALL symposium on Small systems
Conference on Visualization and Data Analysis 2004; 20040119-20040120; San Jose,CA; US
Proceedings of the Second and third annual workshops on Forth
6th ACM/IEEE international conference on human-robot interaction 2011
International Workshop on Formal Approaches to Software Testing(FATES 2005); 20050711; Edinburgh(GB)
IFIP TC3 Seventh IFIP World Conference on Computers in Education WCCE 2001 Jul 29-Aug 3, 2001 Copenhagen, Denmark
更多>>
热门会议
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.
Seasonal Variation in the Vulnerability Discovery Process
机译:
漏洞发现过程中的季节性变化
作者:
Joh HyunChul
;
Malaiya Yashwant K.
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Seasonality;
Security;
Vulnerability;
2.
Optimal Resource Allocation for Batch Testing
机译:
批测试的最佳资源分配
作者:
Chang Fangzhe
;
Ren Jennifer
;
Viswanathan Ramesh
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
3.
Testing Embedded Real Time Systems with TTCN-3
机译:
使用TTCN-3测试嵌入式实时系统
作者:
Grossmann Juergen
;
Serbanescu Diana
;
Schieferdecker Ina
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
automotive;
real-time;
testing;
4.
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction
机译:
自动静态分析工具对故障检测和重构预测的有效性
作者:
Wedyan Fadi
;
Alrmuny Dalal
;
Bieman James M.
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
anomaly detection;
coding concerns;
defect prediction;
empirical evaluation;
open source software;
refatoring;
static analsis tools;
5.
Euclide: A Constraint-Based Testing Framework for Critical C Programs
机译:
Euclide:关键C程序的基于约束的测试框架
作者:
Gotlieb Arnaud
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Test data generation;
constraint-based testing;
partial verification;
6.
A Model Building Process for Identifying Actionable Static Analysis Alerts
机译:
识别可行的静态分析警报的模型构建过程
作者:
Heckman Sarah
;
Williams Laurie
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
false positive mitigation;
machine learning;
static analysis;
7.
Test Input Generation Using UML Sequence and State Machines Models
机译:
使用UML序列和状态机模型生成测试输入
作者:
Bandyopadhyay Aritra
;
Ghosh Sudipto
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
class models;
model-based testing;
sequence models;
state machine models;
test input generation;
8.
A Test Based Multidimensional Performance Model for a Mission Critical System Server
机译:
关键任务系统服务器的基于测试的多维性能模型
作者:
Rogoz Krzysztof
;
Figura Katarzyna
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
CPU;
Performance testing;
Unix server monitoring;
mathematical regression;
memory;
model evolution;
predictive model validation;
resource utilization;
swapping;
system capacity;
test strategy planning;
9.
PKorat: Parallel Generation of Structurally Complex Test Inputs
机译:
PKorat:并行生成结构复杂的测试输入
作者:
Siddiqui Junaid Haroon
;
Khurshid Sarfraz
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
10.
Automated Black Box Testing Tool for a Parallel Programming Library
机译:
用于并行编程库的自动黑匣子测试工具
作者:
Tan Roy Patrick
;
Nagpal Pooja
;
Miller Shaun
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
11.
Cover Art
机译:
封面艺术
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
12.
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection
机译:
使用逻辑准则可行性来减少测试集的大小,同时保证故障检测
作者:
Kaminski Garrett Kent
;
Ammann Paul
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Criteria;
Disjunctive Normal Form;
MUMCUT;
Software Fault;
Software Logic Testing;
13.
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ
机译:
在AspectJ中开发切入点描述符的测试驱动方法
作者:
Delamare Romain
;
Baudry Benoit
;
Ghosh Sudipto
;
Traon Yves Le
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Aspect-oriented programming;
joinpoints;
mutation analysis;
pointcut descriptors;
test-driven development;
testing tool;
14.
WS-TAXI: A WSDL-based Testing Tool for Web Services
机译:
WS-TAXI:用于Web服务的基于WSDL的测试工具
作者:
Bartolini Cesare
;
Bertolino Antonia
;
Marchetti Eda
;
Polini Andrea
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Category Partition;
Web Services Testing;
XML instance generation;
15.
Clustering and Tailoring User Session Data for Testing Web Applications
机译:
集群和定制用户会话数据以测试Web应用程序
作者:
Luo Xingmin
;
Ping Fan
;
Chen Mei-Hwa
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
16.
Optimizing Generation of Object Graphs in Java PathFinder
机译:
在Java PathFinder中优化对象图的生成
作者:
Gligoric Milos
;
Gvero Tihomir
;
Lauterburg Steven
;
Marinov Darko
;
Khurshid Sarfraz
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
17.
Timed Testing under Partial Observability
机译:
部分可观察性下的定时测试
作者:
David Alexandre
;
Larsen Kim G.
;
Li Shuhao
;
Nielsen Brian
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
conformance testing;
model-based testing;
test purpose;
timed game automaton;
winning strategy;
18.
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking
机译:
使用有界模型检查证明两种AES实现的功能等效性
作者:
Post Hendrik
;
SInz Carsten
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Equivalence Checking;
Software Model Checking;
Verification;
19.
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
机译:
使用JML运行时断言检查在没有测试Oracle的应用程序中自动进行变形测试
作者:
Murphy Christian
;
Shen Kuang
;
Kaiser Gail
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
machine learning;
oracle problem;
software testing;
20.
Predicting Attack-prone Components
机译:
预测容易受到攻击的组件
作者:
Gegick Michael
;
Rotella Pete
;
Williams Laurie
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Security;
attack-prone;
classification and regression tree;
metric;
predict;
21.
Empirical Observations on Software Testing Automation
机译:
关于软件测试自动化的经验观察
作者:
Karhu Katja
;
Repo Tiina
;
Taipale Ossi
;
Smolander Kari
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Software testing;
automation;
22.
Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models
机译:
评估自然发生故障数对捕获-捕获模型产生的估计值的影响
作者:
Walia Gursimran Singh
;
Carver Jeffrey C.
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
23.
Copyright Page
机译:
版权页
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
24.
Table of Contents
机译:
目录
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
25.
Welcome Message from the General Chair
机译:
主席致辞
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
26.
Introduction by the Program Chairs
机译:
计划主席介绍
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
27.
Conference Committees
机译:
会议委员会
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
28.
Transforming and Selecting Functional Test Cases for Security Policy Testing
机译:
转换和选择功能测试用例以进行安全策略测试
作者:
Mouelhi Tejeddine
;
Traon Yves Le
;
Baudry Benoit
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
access control;
mutation analysis;
seurity policy testing;
test transformation;
29.
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications
机译:
一个灵活的软件伪造质量保证框架,以及对Java,UML和TTCN-3测试规范的应用
作者:
Nödler Jens
;
Neukirchen Helmut
;
Grabowski Jens
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
30.
Quality Assurance of Software Applications Using the In Vivo Testing Approach
机译:
使用体内测试方法的软件应用程序的质量保证
作者:
Murphy Christian
;
Kaiser Gail
;
Vo Ian
;
Chu Matt
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
perpetual testing;
software testing;
31.
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
机译:
将正式规格放到放大镜下:基于模型的验证测试
作者:
Aydal Emine G.
;
Paige Richard F.
;
Utting Mark
;
Woodcock Jim
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Alloy;
Model-based testing;
Z;
test case generation;
32.
Assertion-Based Validation of Modified Programs
机译:
基于声明的修改程序验证
作者:
Korel Bogdan
;
Zhang Qi
;
Tao Li
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Regression testing;
assertions;
automated test data generation;
program slicing;
33.
Pruning the Search Space in Path-Based Test Generation
机译:
在基于路径的测试生成中修剪搜索空间
作者:
Bardin Sébastien
;
Herrmann Philippe
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
lightweight heuristics;
path explosion;
symbolic execution;
test data generation;
34.
Practicing Testability in the Real World
机译:
在现实世界中实践可测试性
作者:
Chowdhary Vishal
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
SOCK Model;
Testability;
checklist;
examples;
practical guide;
35.
Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned
机译:
基于覆盖率信息的测试冗余度量:评估和经验教训
作者:
Koochakzadeh Negar
;
Garousi Vahid
;
Maurer Frank
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
JUnit;
Test Coverage;
Test Maintenance;
Test Redundancy;
36.
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
机译:
从扩展有限状态机(EFSM)生成用于测试的可行过渡路径
作者:
Kalaji Abdul Salam
;
Hierons Robert Mark
;
Swift Stephen
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Automatic Test Sequence Generation;
Extended Finite State Machine (EFSM);
Feasible transition Paths (FTPs) Generation;
Genetic Algorithms (GAs);
37.
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing
机译:
使用故障层次结构来提高DNF逻辑突变测试的效率
作者:
Kaminski Garrett Kent
;
Ammann Paul
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Disjunctive Normal Form;
MUMCUT;
Mutation Testing;
Software Logic Testing;
Test Criteria;
38.
Mutation Testing for Java Database Applications
机译:
Java数据库应用程序的变异测试
作者:
Zhou Chixiang
;
Frankl Phyllis
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
database application;
mutation testing;
software testing;
39.
An Initial Characterization of Industrial Graphical User Interface Systems
机译:
工业图形用户界面系统的初步表征
作者:
Brooks Penelope A.
;
Robinson Brian P.
;
Memon Atif M.
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Empirical study;
GUI defects;
Industrial systems;
40.
Technical Program Committee
机译:
技术计划委员会
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
41.
Inferring Types of References to GUI Objects in Test Scripts
机译:
推断测试脚本中对GUI对象的引用类型
作者:
Fu Chen
;
Grechanik Mark
;
Xie Qing
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
GUI Testing;
Test Automation;
Test Script;
Test mantainance;
Type inference;
42.
Test Automation on a SaaS Platform
机译:
SaaS平台上的测试自动化
作者:
Mathew Reena
;
Spraetz Ryan
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Automation;
Functional Testing;
SaaS;
43.
Title Page i
机译:
标题页
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
44.
Title Page iii
机译:
标题页iii
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
45.
Penetration Testing with Improved Input Vector Identification
机译:
改进的输入矢量识别的渗透测试
作者:
Halfond William G.J.
;
Choudhary Shauvik Roy
;
Orso Alessandro
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
46.
A Simple Coverage-Based Locator for Multiple Faults
机译:
基于覆盖率的简单故障定位器
作者:
Steimann Friedrich
;
Bertschler Mario
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
fault localization;
model-based diagnosis;
multiple faults;
47.
Dynamic Regression Test Selection Based on a File Cache An Industrial Evaluation
机译:
基于文件缓存的动态回归测试选择工业评价
作者:
Wikstrand Greger
;
Feldt Robert
;
Gorantla Jeevan Kumar
;
Zhe Wang
;
White Conor
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Case study;
Industrial evaluation;
Regression testing;
48.
Automatic Test Generation for Coverage Analysis of ERTMS Software
机译:
自动生成测试以覆盖ERTMS软件
作者:
Angeletti Damiano
;
Giunchiglia Enrico
;
Narizzano Massimo
;
Puddu Alessandra
;
Sabina Salvatore
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
Automatic Test Generation;
Model checking;
49.
An Alternative Approach to Test Effort Estimation Based on Use Cases
机译:
基于用例的测试工作量估计的替代方法
作者:
de Almeida Érika Regina Campos
;
de Abreu Bruno Teixeira
;
Moraes Regina
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
50.
A Simple Approach for Estimation of Execution Effort of Functional Test Cases
机译:
估计功能测试用例执行工作量的简单方法
作者:
Silva Daniel Guerreiro e
;
de Abreu Bruno Teixeira
;
Jino Mario
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
effort;
estimation;
prediction;
software;
test execution;
51.
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs
机译:
崩溃的GUI的自动黑匣子测试技术的经验评估
作者:
Bertolini Cristiano
;
Peres Glaucia
;
dAmorim Marcelo
;
Mota Alexandre
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
black-box;
empirical evaluation;
stress testing;
test automation;
52.
Passive Testing of Stochastic Timed Systems
机译:
随机定时系统的被动测试
作者:
Andrés César
;
Merayo Mercedes G.
;
Núñez Manuel
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
53.
An Evaluation of Model Checkers for Specification Based Test Case Generation
机译:
基于规范的测试用例生成的模型检查器评估
作者:
Fraser Gordon
;
Gargantini Angelo
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
automated testing;
model based testing;
model checking;
specification based testing;
test case generation;
54.
Unit Testing Non-functional Concerns of Component-based Distributed Systems
机译:
单元测试基于组件的分布式系统的非功能性问题
作者:
Hill James H.
;
Turner Hamilton A.
;
Edmondson James R.
;
Schmidt Douglas C.
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
关键词:
component-based distributed systems;
continuous system integration;
non-functional concerns;
unit testing;
55.
On the Effectiveness of Test Extraction without Overhead
机译:
论无开销测试提取的有效性
作者:
Leitner Andreas
;
Pretschner Alexander
;
Mori Stefan
;
Meyer Bertrand
;
Oriol Manuel
会议名称:
《》
|
2009年
关键词:
extraction;
test;
56.
Author Index
机译:
作者索引
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
57.
Publisher Information
机译:
发布者信息
会议名称:
《Software Testing Verification and Validation, 2009. ICST '09》
|
2009年
意见反馈
回到顶部
回到首页