Is Depth of Inheritance Tree a Good Cost Prediction for Branch Coverage Testing?

2009 ◽  
Author(s):  
Muhammad Rabee Shaheen ◽  
Lydie du Bousquet
Keyword(s):  
Cost Prediction ◽  
Branch Coverage ◽  
Coverage Testing

Branch Coverage Testing Using Anti-Random Technique

2013 ◽  
Vol 8 (2) ◽  
pp. 7-19 ◽  
Author(s):  
J. H. Hasan ◽  
◽  
A. M. Alshraideh ◽  
A. B. Mahafzah ◽  
◽  
...  
Keyword(s):  
Branch Coverage ◽  
Coverage Testing

Algorithm for Generating Short Sentences from Grammars Based on Branch Coverage Criterion

2011 ◽  
Vol 22 (11) ◽  
pp. 2564-2576
Author(s):  
Li-Xiao ZHENG ◽  
Zhi-Wu XU ◽  
Hai-Ming CHEN
Keyword(s):  
Branch Coverage ◽  
Coverage Criterion

scholarly journals Automated Extraction and Time-Cost Prediction of Contractual Reporting Requirements in Construction Using Natural Language Processing and Simulation

2021 ◽  
Vol 11 (13) ◽  
pp. 6188
Author(s):  
Parinaz Jafari ◽  
Malak Al Hattab ◽  
Emad Mohamed ◽  
Simaan AbouRizk
Keyword(s):  
Natural Language Processing ◽  
Natural Language ◽  
Language Processing ◽  
Stochastic Simulations ◽  
Clear Understanding ◽  
Time Cost ◽  
Cost Prediction ◽  
Construction Contracts ◽  
Reporting Requirements ◽  
Reporting Requirement

Due to a lack of suitable methods, extraction of reporting requirements from lengthy construction contracts is often completed manually. Because of this, the time and costs associated with completing reporting requirements are often informally approximated, resulting in underestimations. Without a clear understanding of requirements, contractors are prevented from implementing improvements to reporting workflows prior to project execution. This study developed an automated reporting requirement identification and time–cost prediction framework to overcome this challenge. Reporting requirements are extracted using Natural Language Processing (NLP) and Machine Learning (ML), and stochastic simulations are used to predict overhead costs and durations associated with report preparation. Functionality and validity of the framework were demonstrated using real contracts, and an accuracy of over 95% was observed. This framework provides a tool to rapidly and efficiently retrieve requirements and quantify the time and costs associated with reporting, in turn providing necessary insights to streamline reporting workflows.

APLIKASI KAIDAH "AL-'ADAH MUHAKKAMAH" DALAM KASUS PENETAPAN JUMLAH MAHAR

Al-MAJAALIS ◽  
2020 ◽  
Vol 8 (1) ◽  
pp. 57-85
Author(s):  
Kholid Saifulloh
Keyword(s):  
Human Nature ◽  
Common Sense ◽  
Legal Basis ◽  
Complete Understanding ◽  
Branch Coverage ◽  
Definition Of ◽  
Determining Factor

Al-'adah muhakkamah, literally ‘customary usage is the determining factor’,is one of the five universal maxims of Islamic jurisprudencewhich have a wide branch coverage agreed upon by the scholars.This maxim is built on the basis of custom and local wisdom that exists in every community, where this custom is continuously carried out by the community without any denial from them; it is precisely individuals who violate these customs will be considered "freaks". Therefore, Islam makes the customs of a community a legal basis as long as they fulfill the requirements stipulated by Sharia.The formulation of the problem in this study is about: (1) the definition of the al-'adah muhakkamah maxim, (2) the conditions for applying it, and (3) its application in determining the amount and type of dowry. This paper tries to study a jurisprudence principle and apply it to a jurisprudence problem so as to form a complete understanding of the rules as well as how to apply them in the branch of jurisprudence. The conclusions of this study are: (1) that 'adah is something that happens repeatedly which is accepted by common sense and human nature, (2) an 'adah can become a legal basis if it does not contradict the arguments of the Sharia, it is more often done than abandoned, there is no words of the' adah doer who excludes, and the 'adah must exist at the time the covenant occurs,(3) the rule of al-'adah muhakkamah can be applied to determine the number and types ofmis^ldowries, as well as musamma dowries which are absolutely stated.

Sign in / Sign up

Export Citation Format

Share Document