Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Bataineh, Omar"'
Autor:
Al-Bataineh, Omar I.
Repairing a large-scale buggy program using current automated program repair (APR) approaches can be a time-consuming operation that requires significant computational resources. We describe a program repair framework that effectively handles large-s
Externí odkaz:
http://arxiv.org/abs/2406.16225
Autor:
Al-Bataineh, Omar I.
This paper describes a formal general-purpose automated program repair (APR) framework based on the concept of program invariants. In the presented repair framework, the execution traces of a defected program are dynamically analyzed to infer specifi
Externí odkaz:
http://arxiv.org/abs/2312.16652
Publikováno v:
Open Education Studies, Vol 6, Iss 1, Pp 186-196 (2024)
This study aimed to assess the degree of openness to change among the faculties of educational sciences in Jordanian universities and its correlation with academic freedom, as perceived by faculty members. Additionally, it sought to identify whether
Externí odkaz:
https://doaj.org/article/34276f9beb574c38a4669a91d516eafc
Autor:
Al-Bataineh, Omar I., Moonen, Leon
Modern automated program repair (APR) is well-tuned to finding and repairing bugs that introduce observable erroneous behavior to a program. However, a significant class of bugs does not lead to such observable behavior (e.g., liveness/termination bu
Externí odkaz:
http://arxiv.org/abs/2211.03911
A long-standing open challenge for automated program repair is the overfitting problem, which is caused by having insufficient or incomplete specifications to validate whether a generated patch is correct or not. Most available repair systems rely on
Externí odkaz:
http://arxiv.org/abs/2111.05713
Automated feedback generation for introductory programming assignments is useful for programming education. Most works try to generate feedback to correct a student program by comparing its behavior with an instructor's reference program on selected
Externí odkaz:
http://arxiv.org/abs/2106.16199
Publikováno v:
In The Journal of Systems & Software March 2024 209
This paper considers the problem of decentralized monitoring of a class of non-functional properties (NFPs) with quantitative operators, namely cumulative cost properties. The decentralized monitoring of NFPs can be a non-trivial task for several rea
Externí odkaz:
http://arxiv.org/abs/2104.11474
Autor:
Altobaishat, Obieda, Bataineh, Omar Abdullah, Ibrahim, Ahmed A., Al-zoubi, Ahmad K., Khan, Ubaid, Abdelgalil, Mahmoud Shaaban, Abouzid, Mohamed, Rezq, Hazem, Abuelazm, Mohamed
Publikováno v:
In Journal of Cardiothoracic and Vascular Anesthesia
Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-
Externí odkaz:
http://arxiv.org/abs/1912.05823