Ensuring the Observability of Structural Test Obligations

Ensuring the Observability of Structural Test Obligations
复制标题

确保结构测试义务的可观察性

DOI:
10.1109/tse.2018.2869146
复制
发表时间:
2018
影响因子:
7.4
通讯作者:
Whalen, Michael
Whalen, Michael
中科院分区:
计算机科学1区
文献类型:
--
作者:
Meng, Ying;Gay, Gregory;Whalen, Michael

文献摘要

参考文献

被引文献

相似文献

DOI: --
发表时间: 2004
影响因子: 4.1
作者:
Natalia Juristo Juzgado;A. Moreno;S. Vegas
通讯作者: S. Vegas
DOI: 10.1109/icse-seip.2017.27
发表时间: 2017-05
期刊: 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP)
影响因子: --
作者:
M. Almasi;H. Hemmati;G. Fraser;Andrea Arcuri;Janis Benefelds
通讯作者: M. Almasi;H. Hemmati;G. Fraser;Andrea Arcuri;Janis Benefelds
评估测试质量
DOI: --
发表时间: 2011
期刊:
影响因子: --
作者:
David Schuler
通讯作者: David Schuler
DOI: --
发表时间: 2015
期刊: NASA Formal Methods
影响因子: --
作者:
A. Murugesan;M. Whalen;Neha Rungta;O. Tkachuk;Suzette Person;M. Heimdahl;Dongjiang You
通讯作者: Dongjiang You
规范测试覆盖充分性标准 = 规范测试生成不足性标准
DOI: --
发表时间: 2004
期刊: Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.
影响因子: --
作者:
M. Heimdahl;G. Devaraj;Robert J. Weber
通讯作者: Robert J. Weber