Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Reed Oei"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of
Externí odkaz:
https://doaj.org/article/4a25bee76a604ddc93ca08451324abb8
Autor:
Reed Oei
Publikováno v:
Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity.
Blockchains host smart contracts for voting, tokens, and other purposes. Vulnerabilities in contracts are common, often leading to the loss of money. Psamathe is a new language we are designing around a new flow abstraction, reducing asset bugs and m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::417bc1fb75de3d134233e0d6d057788a
https://doi.org/10.1145/3426430.3428131
https://doi.org/10.1145/3426430.3428131
Publikováno v:
ISSTA
Developers typically rely on regression testing techniques to ensure that their changes do not break existing functionality. Unfortunately, these techniques suffer from flaky tests, which can both pass and fail when run multiple times on the same ver
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea0c3995104b2c4b182d1a12184de2ba
https://doi.org/10.1145/3395363.3397364
https://doi.org/10.1145/3395363.3397364
Publikováno v:
ESEC/SIGSOFT FSE
Regression testing provides important pass or fail signals that developers use to make decisions after code changes. However, flaky tests, which pass or fail even when the code has not changed, can mislead developers. A common kind of flaky tests are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b1d34b1c9fbb92441e8ff87e4a5b88f
https://doi.org/10.1145/3338906.3338925
https://doi.org/10.1145/3338906.3338925
Publikováno v:
ICST
Regression testing is increasingly important with the wide use of continuous integration. A desirable requirement for regression testing is that a test failure reliably indicates a problem in the code under test and not a false alarm from the test co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae34df19bae7a3cf445b4c36be0dda07
https://doi.org/10.1109/icst.2019.00038
https://doi.org/10.1109/icst.2019.00038
Autor:
Jonathan Aldrich, Paulette Koronkevich, Tyler Etzel, Joshua Sunshine, Reed Oei, Yannick Bloem, Brad A. Myers, Michael Coblenz, Miles Baker
Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d501b782a7bc8b6bd05e2300ac05be76
Publikováno v:
Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 3, p12:1-12:38, 38p
Autor:
RICHTER, DAVID1 david.richter@tu-darmstadt.de, KRETZLER, DAVID1 mezini@informatik.tu-darmstadt.de, WEISENBURGER, PASCAL2 david.kretzler@tudarmstadt.de, SALVANESCHI, GUIDO2 sebastian.faust@tudarmstadt.de, FAUST, SEBASTIAN1 pascal.weisenburger@unisg.ch, MEZINI, MIRA1 guido.salvaneschi@unisg.ch
Publikováno v:
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-41. 41p.
Autor:
ZHICHAO CHEN, JUNJIE CHEN, WEIJING WANG, JIANYI ZHOU, MENG WANG, XIANG CHEN, SHAN ZHOU, JIANMIN WANG
Publikováno v:
ACM Transactions on Software Engineering & Methodology; May2023, Vol. 32 Issue 3, p1-32, 32p
Autor:
COBLENZ, MICHAEL1 mcoblenz@cs.cmu.edu, OEI, REED2, ETZEL, TYLER, KORONKEVICH, PAULETTE3, BAKER, MILES, BLOEM, YANNICK4, MYERS, BRAD A.1, SUNSHINE, JOSHUA1, ALDRICH, JONATHAN1
Publikováno v:
ACM Transactions on Programming Languages & Systems. Nov2020, Vol. 42 Issue 3, p1-82. 82p.