Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Nader Al Awar"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-28
Bounded-exhaustive testing (BET), which exercises a program under test for all inputs up to some bounds, is an effective method for detecting software bugs. Systematic property-based testing is a BET approach where developers write test generation pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14c3fb8b84a318e9cb79074236cc22c7
https://doi.org/10.1145/3485543
https://doi.org/10.1145/3485543
Autor:
Sivasankaran Rajamanickam, Galen M. Shipman, Luc Berger-Vergiat, Jonathan Madsen, Christian Robert Trott, Nader Al Awar, Geoff Womeldorff, Milos Gligoric, David Poliakoff, Damien Lebrun-Grandie
Publikováno v:
Computing in Science & Engineering. 23:10-18
State-of-the-art engineering and science codes have grown in complexity dramatically over the last two decades. Application teams have adopted more sophisticated development strategies, leveraging third party libraries, deploying comprehensive testin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4396408595c76ba41be8b7410b2dff3c
https://doi.org/10.1109/mcse.2021.3098509
https://doi.org/10.1109/mcse.2021.3098509
Publikováno v:
2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9a4add29341c725d81415188353ae83
https://doi.org/10.1109/sbac-pad55451.2022.00025
https://doi.org/10.1109/sbac-pad55451.2022.00025
Publikováno v:
Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::264ef58409e373b15efbb6d82cd994a8
https://doi.org/10.1145/3510454.3516827
https://doi.org/10.1145/3510454.3516827
Publikováno v:
ICS
Kokkos is a programming model for writing performance portable applications for all major high performance computing platforms. It provides abstractions for data management and common parallel operations, allowing developers to write portable high pe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca2436479085afee8f19624168d6420e
https://doi.org/10.1145/3447818.3460376
https://doi.org/10.1145/3447818.3460376
Publikováno v:
Automated Software Engineering. 26:795-837
Runtime verification can be used to find bugs early, during software development, by monitoring test executions against formal specifications (specs). The quality of runtime verification depends on the quality of the specs. While previous research ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f7ee675a20a51494db579036536c8219
https://doi.org/10.1007/s10515-019-00267-1
https://doi.org/10.1007/s10515-019-00267-1