Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Milos Gligoric"'
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
Autor:
Hochan Lee, William Ruys, Ian Henriksen, Arthur Peters, Yineng Yan, Sean Stephens, Bozhi You, Henrique Fingler, Martin Burtscher, Milos Gligoric, Karl Schulz, Keshav Pingali, Christopher J. Rossbach, Mattan Erez, George Biros
Publikováno v:
SC22: International Conference for High Performance Computing, Networking, Storage and Analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9470886f969be4cca094348b08cc0e2
https://doi.org/10.1109/sc41404.2022.00056
https://doi.org/10.1109/sc41404.2022.00056
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 37th IEEE/ACM International Conference on Automated Software Engineering.
Pretrained language models have been shown to be effective in many software-related generation tasks; however, they are not well-suited for editing tasks as they are not designed to reason about edits. To address this, we propose a novel pretraining
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b6e018e8ae2501d3dd9f9373ef2e69c
https://doi.org/10.1145/3551349.3556955
https://doi.org/10.1145/3551349.3556955
Unit tests are widely used to check source code quality, but they can be too coarse-grained or ill-suited for testing individual program statements. We introduce inline tests to make it easier to check for faults in statements. We motivate inline tes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df1f02a32717f986031b5292371ade12
http://arxiv.org/abs/2209.06315
http://arxiv.org/abs/2209.06315
Publikováno v:
AST 2022-3rd IEEE/ACM International Conference on Automation of Software Test, pp. 115–125, Pittsburgh, USA, 17-18/05/2022
Test case selection (TCS) and test case prioritization (TCP) techniques can reduce time to detect the first test failure. Although these techniques have been extensively studied in combination and isolation, they have not been compared one against th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aff63e6ae9deea444c3861c2128c17f0
https://zenodo.org/record/6787414
https://zenodo.org/record/6787414
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:
Proceedings of the 3rd ACM/IEEE International Conference on Automation of Software Test.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e78e378c1c2c018d28cd7536b598ac9
https://doi.org/10.1145/3524481.3527230
https://doi.org/10.1145/3524481.3527230
Autor:
Sarfraz Khurshid, Aleksandar Milicevic, Zhiqiang Zang, Milos Gligoric, Marinela Parovic, Pengyu Nie
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-26
We present Deuterium---a framework for implementing Java methods as executable contracts. Deuterium introduces a novel, type-safe way to write method contracts entirely in Java, as a combination of imperative generators and declarative specifications
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8869d3099ce4278fa8dbdb9c67b34c13
https://doi.org/10.1145/3428285
https://doi.org/10.1145/3428285