Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Vadim Okun"'
Publikováno v:
2022 IEEE 29th Annual Software Technology Conference (STC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e557c11544f8df5d7c6d86f34fe7345
https://doi.org/10.1109/stc55697.2022.00017
https://doi.org/10.1109/stc55697.2022.00017
Executive Order (EO) 14028, "Improving the Nation's Cybersecurity," 12 May 2021, directs the National Institute of Standards and Technology (NIST) to recommend minimum standards for software testing within 60 days. This document describes eleven reco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bbf77a7d1f97380085f4eb0d1b449c0b
https://doi.org/10.6028/nist.ir.8397
https://doi.org/10.6028/nist.ir.8397
Autor:
D. Richard Kuhn, Raghu N. Kacker, Elizabeth N. Fong, Paul E. Black, Vadim Okun, David W. Flater, Stephen Wong
Much software research and practice involves ostensible measurements of software, yet little progress has been made on a metrological foundation like the International System of Units (SI) for those measurements since the work of Gray, Hogan, et al.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54f296e7218c781a14f5304aec3261b9
https://doi.org/10.6028/nist.ir.8101
https://doi.org/10.6028/nist.ir.8101
Publikováno v:
Software Testing, Verification and Reliability. 18:125-148
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3287f69fe4eb2b301b20cd15b1d4516d
https://doi.org/10.1002/stvr.381
https://doi.org/10.1002/stvr.381
Publikováno v:
2015 IEEE/ACM 1st International Workshop on Complex Faults and Failures in Large Software Systems (COUFLESS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::081de2c7e61d40f55f3b45bb0d003111
https://doi.org/10.1109/coufless.2015.10
https://doi.org/10.1109/coufless.2015.10
Publikováno v:
Information and Software Technology. 46:525-533
Our results extending Kuhn's fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique which allows us to elegantly prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5d08fa952877ce85493a900129c3db6
https://doi.org/10.1016/j.infsof.2003.10.003
https://doi.org/10.1016/j.infsof.2003.10.003
Publikováno v:
SERE (Companion)
The Software Assurance Metrics and Tool Evaluation (SAMATE) project at the National Institute of Standards and Technology (NIST) has organized four Static Analysis Tool Expositions (SATE). SATE is designed to advance research in static analysis tools
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9d4db32e60b6eb67b6970059e932b86
https://doi.org/10.1109/sere-c.2013.10
https://doi.org/10.1109/sere-c.2013.10