首页> 外文期刊>Software Testing, Verification and Reliability >Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing

【24h】

Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing

机译：STVR特刊关于测试和证明第1卷的社论：基于模型的测试中的测试和证明

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Software Testing, Verification and Reliability》 |2014年第7期|1-2|共2页
作者
Achim D. Brucker; Jacques Julliand;
展开▼
作者单位

SAP SE Germany;

University of Franche-ComtÉ France;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites [J] . Achim D. Brucker, Jacques Julliand Software Testing, Verification and Reliability . 2014,第8期

机译：STVR特刊有关测试和证明第2卷的社论：改进测试数据套件生成时间和质量的测试和证明
2. Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011) [J] . Mark Harman, BOGDAN KOREL Software Testing, Verification and Reliability . 2013,第6期

机译：STVR专刊，有关软件测试，验证和确认的社论-第1卷（引自ICST 2011的精选论文扩展）
3. Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011) [J] . Mark Harman, Bogddan Korel Software Testing, Verification and Reliability . 2013,第7期

机译：STVR有关软件测试，验证和确认的特刊编辑-第2卷（摘自ICST 2011的部分论文）
4. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor [C] . Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, International symposium on formal methods . 2016

机译：在管理程序的形式化分析中将机械化证明与基于模型的测试相结合
5. Non-invasive detection of pre-malignant lesions using sub-ablative, deep ultraviolet laser-tissue interactions coupled with endogenous tissue fluorescence: Proof-of-concept, computational modeling, and detection-theory strategies for clinical instrument design and testing. [D] . Kozikowski, Raymond Thomas, III. 2012

机译：使用亚消融性深紫外激光-组织相互作用与内源性组织荧光相结合的无创检测恶性前病变的方法：概念验证，计算模型以及用于临床仪器设计和测试的检测理论策略。
6. A Virtual Reality Orientation and Mobility Test for Inherited Retinal Degenerations: Testing a Proof-of-Concept After Gene Therapy [O] . Tomas S Aleman, Alexander J Miller, Katherine H Maguire, 2021

机译：遗传视网膜退化的虚拟现实定向和移动性试验：在基因治疗后测试概念验证
7. Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015) [O] . Gordon Fraser, Darko Marinov 2017

机译：编辑为STV的专题软件测试，验证和验证国际会议第8次IEEE国际会议（ICST 2015）

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号