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
中科院分区:
文献类型:
--
作者:
Meng, Ying;Gay, Gregory;Whalen, Michael
登录
查看更多内容
影响因子:
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