cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/xmzaxb
title: Protected Areas - Global Register of Introduced and Invasive Species - African Banks, Seychelles

description: The Protected Areas -Global Register of Introduced and Invasive Species (PA-GRIIS) presents validated checklists of introduced (alien) and invasive alien species at a site level. The primary intention of PA-GRIIS is to provide checklists of introduced (alien) and invasive species present on designated protected areas (such as National Parks, Ramsar sites- Wetlands of International importance, World Heritage Sites (natural and mixed), Marine protected areas etc.) and other areas of biodiversity significance (such as Important Plant Areas (IPA), Important Bird Areas (IBA) etc.), as well as buffer zones around these areas. Areas surrounding protected areas and other areas of high biodiversity significance can serve as an invasion source of alien and invasive species propagules. The establishment of buffer zones and the management of alien and invasive species within these areas is a key management strategy in the prevention of introduction and control/management of biological invasions. In the case of islands buffer zones. Checklists are living entities, especially for biological invasions given the growing nature of the problem. PA -GRIIS checklists are based on the GRIIS published methodology (Pagad et al 2018) and supported by the Integrated Publishing Tool of the Global Biodiversity Information Infrastructure (GBIF) that jointly enable ongoing improvements and updates to expand their taxonomic coverage and completeness. Phase 1 of the PA -GRIIS project will present close to 100 exemplar checklists of introduced (alien) and invasive species in a selection of protected areas and other areas of biodiversity significance This annotated checklist is of introduced (alien) and invasive alien species known to occur in African Banks Nature Reserve in Seychelles
DOI: 10.14457/cu.res.2014.87
title: กระบวนการทางสมุทรศาสตร์ที่มีผลต่อการแพร่กระจายของสารในแนวปะการังและแหล่งหญ้าทะเล อำเภอสัตหีบ จังหวัดชลบุรี-3: พลวัตรของไนโตรเจนละลายในมวลนาบริเวณแนวปะการังและแหล่งหญ้าทะเล
DOI: 10.14457/cu.res.2015.43
title: ออกซิเรสเวราทรอล : การพัฒนาวิธีวิเคราะห์ปริมาณในผลิตภัณฑ์สมุนไพร และการศึกษาฤทธิ์ต้านการเสื่อมของระบบประสาท
DOI: 10.14457/cu.res.2015.44
title: The pathogenicity of Leishmania siamensis Experimental infection in BALB
DOI: 10.14457/cu.res.2010.117
title: การพัฒนาวัคซีนเชื้อตายไข้หวัดใหญ่ H1N1 2009 เพื่อใช้ทางคลินิก
DOI: 10.14457/cu.res.2012.100
title: การศึกษาศักยภาพและมูลค่าของผลิตภัณฑ์การท่องเที่ยวต่อการสร้างรายได้ของจังหวัดชัยนาท สิงห์บุรี สระแก้ว และสมุทรสาคร ในเขตภาคกลาง
DOI: 10.14457/kku.the.1989.40
title: การบริหารงานวิชาการในโรงเรียนมัธยมศึกษาขนาดเล็ก สังกัดกรมสามัญศึกษา เขตการศึกษา 11
DOI: 10.14457/cu.the.2014.1432
title: การพัฒนาเครื่องมือวัดคุณลักษณะอันพึงประสงค์ของนักศึกษาพยาบาลศาสตร์
DOI: 10.14457/kku.the.1989.41
title: การศึกษาเปรียบเทียบการนำหลักสูตรไปใช้ในระดับชั้นมัธยมศึกษาปีที่ 6 ของโรงเรียนในสังกัดสำนักงานการประถมศึกษาจังหวัดขอนแก่น
DOI: 10.14457/kku.the.1990.24
title: ผลของโปรแกรมการสอนอย่างมีแบบแผน ต่อระดับความรู้และการปรับตัวของผู้ป่วยโรคเบาหวาน
DOI: 10.14457/cu.the.2013.1891
title: การตรวจหาแบคทีเรีย Vibrio spp. ในอาหารโดย RT-PCR และ PCR-Denaturing gradient gel electrophoresis
DOI: 10.14457/kku.the.1990.25
title: ผลของแรงเสริมบวกที่มีต่อพฤติกรรมการดูแลตนเองเกี่ยวกับอนามัยในช่องปาก ของนักเรียนชั้นประถมศึกษาปีที่ 5 กิ่งอำเภอห้วยผึ้ง จังหวัดกาฬสินธุ์
DOI: 10.14457/kku.the.1989.42
title: สถานภาพ ปัญหา ความต้องการในการฝึกอบรม เจตคติและคุณลักษณะที่พึงประสงค์ ของผู้ช่วยอาจารย์ใหญ่ โรงเรียนประถมศึกษา สังกัดสำนักงานการประถมศึกษาจังหวัดเลย
DOI: 10.14457/kku.the.1989.43
title: รูปแบบการวางแผนในระดับคณะของมหาวิทยาลัยขอนแก่น
DOI: 10.5281/zenodo.3726611
title: Data set for comparison between two biosignals acquisition systems – BioNomadix and BITalino

description: The data was collected in order to compare quality of the signal acquired by two devices – BITalino (Da Silva, Guerreiro, Lourenço, Fred, & Martins, 2014) and BioNomadix (BIOPAC Systems Inc., Goleta, CA, USA).
description: This work was supported by the Polish National Centre for Research and Development under the grant "Bioadaptable training simulator for critical infrastructure operators – research and preparation for implementation" (project number POIR.01.01.01-00-1131/17; the Smart Growth Operational Programme, sub-measure 1.1.1) received by Nano Games sp. z o.o
description: {"references": ["Da Silva, H. P., Guerreiro, J., Louren\u00e7o, A., Fred, A. L., & Martins, R. (2014, January). BITalino: A novel hardware framework for physiological computing. In PhyCS (pp. 246-253)", "Marchewka, A., \u017burawski, \u0141., Jednor\u00f3g, K., & Grabowska, A. (2014). The Nencki Affective Picture System (NAPS): Introduction to a novel, standardized, wide-range, high-quality, realistic picture database. Behavior research methods, 46(2), 596-610", "Peirce, J. W., & MacAskill, M. R. (2018). Building Experiments in PsychoPy. London: Sage."]}
DOI: 10.14457/kku.the.1990.26
title: อิทธิพลของอุณหภูมิเริ่มแรกต่อการก่อตัว และกำลังรับแรงของปูนซิเมนต์ปอร์ตแลนด์ผสมสารเร่งการก่อตัว
DOI: 10.5281/zenodo.3726610
title: Data set for comparison between two biosignals acquisition systems – BioNomadix and BITalino

description: The data was collected in order to compare quality of the signal acquired by two devices – BITalino (Da Silva, Guerreiro, Lourenço, Fred, & Martins, 2014) and BioNomadix (BIOPAC Systems Inc., Goleta, CA, USA).
description: This work was supported by the Polish National Centre for Research and Development under the grant "Bioadaptable training simulator for critical infrastructure operators – research and preparation for implementation" (project number POIR.01.01.01-00-1131/17; the Smart Growth Operational Programme, sub-measure 1.1.1) received by Nano Games sp. z o.o
description: {"references": ["Da Silva, H. P., Guerreiro, J., Louren\u00e7o, A., Fred, A. L., & Martins, R. (2014, January). BITalino: A novel hardware framework for physiological computing. In PhyCS (pp. 246-253)", "Marchewka, A., \u017burawski, \u0141., Jednor\u00f3g, K., & Grabowska, A. (2014). The Nencki Affective Picture System (NAPS): Introduction to a novel, standardized, wide-range, high-quality, realistic picture database. Behavior research methods, 46(2), 596-610", "Peirce, J. W., & MacAskill, M. R. (2018). Building Experiments in PsychoPy. London: Sage."]}
DOI: 10.14457/kku.the.1990.27
title: การบริหารโดยองค์คณะบุคคล : กรณีผู้แทนข้าราชการครู ในคณะกรรมการการประถมศึกษาจังหวัด
DOI: 10.14457/kku.the.1989.44
title: สภาพการปฏิบัติงาน ปัญหา ความต้องการ และความพึงพอใจในงานของหัวหน้าสำนักงาน และครูวิชาการสำนักงานกลุ่มโรงเรียน สังกัดสำนักงานการประถมศึกษาจังหวัดยโสธร
DOI: 10.14457/kku.the.1989.45
title: การเปรียบเทียบคุณภาพของแบบทดสอบเลือกตอบ ที่มีรูปแบบตัวเลือกต่างกัน ในวิชาคณิตศาสตร์ เรื่องบทประยุกต์ ชั้นประถมศึกษาปีที่ 6
DOI: 10.14457/kku.the.1989.46
title: การบริหารงานฝ่ายปกครองในโรงเรียนมัธยมศึกษาขนาดเล็ก ในเขตการศึกษา 11
DOI: 10.14457/kku.the.1989.47
title: ผลของการให้คำแนะนำแก่บิดา ต่อบทบาทของบิดาในการช่วยเหลือมารดาในระยะหลังคลอด
DOI: 10.14457/kku.the.1990.28
title: การวิเคราะห์การรับน้ำหนักของเสาเข็มสี่เหลี่ยมจัตุรัส ในอีลาสติกฮาฟสเปซที่เป็นสองชั้น
DOI: 10.14457/kku.the.1989.48
title: อิทธิพลของอุณหภูมิสูงเริ่มแรกต่อการก่อตัว และกำลังรับแรงของปูนซีเมนต์ปอร์ตแลนด์ผสมสารหน่วงการก่อตัว
DOI: 10.14457/kku.the.1989.49
title: การออกแบบระบบระบายน้ำฝนในชุมชนเมืองโดยวิธีคลื่นจลน์ศาสตร์ : ทดสอบกรณีเทศบาลเมืองอุดรธานี
DOI: 10.14457/kku.the.1989.50
title: อิทธิพลของวิธีการนวดเมล็ดและภาชนะในการเก็บรักษา ที่มีผลต่อคุณภาพของเมล็ดพันธุ์ การเจริญเติบโตและผลผลิตของถั่วเหลืองพันธุ์ สจ.4 และ สข.1
DOI: 10.14457/kku.the.1989.51
title: ผลของการเสริมกรดอะมิโน (เมทไธโอนีนและไลซีน) ในสูตรอาหารโปรตีนระดับต่ำต่อสมรรถนะการผลิตไก่เล็ก, ไก่รุ่น, ไก่สาว และต่อสมรรถนะการให้ผลผลิตไข่ของไก่ไข่
DOI: 10.14457/kku.the.1989.52
title: การศึกษาวิธีการจัดการและระดับของโปรตีนในอาหาร เพื่อเพิ่มผลผลิตไก่พื้นเมือง
DOI: 10.14457/kku.the.1989.53
title: ผลของการเติมสารป้องกันการเจริญเติบโตของเชื้อราในข้าวโพดที่เก็บ ต่อสมรรถนะในการผลิตของไก่กระทงและเป็ด
DOI: 10.14457/kku.the.1989.54
title: การเปรียบเทียบวิธีการคัดเลือกพันธุ์แบบบันทึกประวัติ และแบบเก็บรวมดัดแปลงในถั่วเหลือง 5 คู่ผสม
DOI: 10.14457/kku.the.1993.135
title: ผลของการทำกลุ่มช่วยเหลือตนเองต่อการปฏิบัติของมารดา ในการดูแลบุตรวัยแรกเกิด-3 ปี ที่เจ็บป่วยด้วยโรคหัวใจพิการแต่กำเนิด
DOI: 10.14457/kku.the.1993.136
title: บานาคอัลยีบราและการประยุกต์บางอย่าง
DOI: 10.14457/kku.the.1993.137
title: การเปรียบเทียบผลการใช้แบบทดสอบโปรแกรสชีพ แมทริซีส ฉบับสี และแบบทดสอบเชาวน์ปัญญาสำหรับเด็กของเวคสเลอร์ ฉบับปรับปรุงทางด้านภาษา กับเด็กไทยในเมืองและชนบท ในภาคตะวันออกเฉียงเหนือ
DOI: 10.14457/kku.the.1993.138
title: ปัจจัยบางประการที่มีความสัมพันธ์กับการตัดสินใจเลือกอาชีพของทหารกองประจำการ หลังจากการได้รับโครงการพัฒนาอาชีพ : การศึกษาเฉพาะกรณีจังหวัดขอนแก่น
DOI: 10.14457/kku.the.1993.139
title: อิทธิพลของซัลไฟด์ต่อคุณสมบัติของปูนซีเมนต์ปอร์ตแลนด์
DOI: 10.14457/kku.the.1993.140
title: การประเมินการปฏิบัติงานของคณะกรรมการการประถมศึกษาอำเภอ สำนักงานการประถมศึกษาจังหวัดขอนแก่น
DOI: 10.14457/kku.the.1993.141
title: การศึกษาเปรียบเทียบการปฏิบัติงานที่เป็นจริง และคาดหวังของผู้บริหารสถานีตำรวจภูธร ในสังกัดกองบังคับการตำรวจภูธร 6
DOI: 10.14457/kku.res.1982.1
title: ความสัมพันธ์ระหว่างอาการ อาการแสดง การตรวจอุจจาระและผลของการเพาะเชื้อจากอุจจาระ ของผู้ป่วยเด็กโรคอุจจาระร่วงเฉียบพลัน ในจังหวัดขอนแก่น
DOI: 10.14457/kku.res.1987.5
title: ผลของยากระตุ้นการหดรัดตัวมดลูกต่อระยะที่สามของการคลอด
DOI: 10.25934/00004927.0
title: Available IPD datapackage for study 'Randomized, Double-blind, Evaluation in Secondary Stroke Prevention Comparing the EfficaCy and Safety of the Oral Thrombin Inhibitor Dabigatran Etexilate (110 mg or 150 mg, Oral b.i.d.) Versus Acetylsalicylic Acid (100 mg Oral q.d.) in Patients With Embolic Stroke of Undetermined Source (RESPECT ESUS)'

description: Vivli is an independent, non-profit organization that has developed a global data-sharing and analytics platform to serve all elements of the international research community. Our mission is to promote, coordinate, and facilitate scientific sharing and reuse of clinical research data through the creation and implementation of a sustainable global data-sharing enterprise. The Vivli platform includes an independent data repository, in-depth search engine and a cloud-based, secure analytics platform.
DOI: 10.15468/jp5fp2
title: Protected Areas - Global Register of Introduced and Invasive Species - Aldabra Atoll, Seychelles

description: The Protected Areas -Global Register of Introduced and Invasive Species (PA-GRIIS) presents validated checklists of introduced (alien) and invasive alien species at a site level. The primary intention of PA-GRIIS is to provide checklists of introduced (alien) and invasive species present on designated protected areas (such as National Parks, Ramsar sites- Wetlands of International importance, World Heritage Sites (natural and mixed), Marine protected areas etc.) and other areas of biodiversity significance (such as Important Plant Areas (IPA), Important Bird Areas (IBA) etc.), as well as buffer zones around these areas. Areas surrounding protected areas and other areas of high biodiversity significance can serve as an invasion source of alien and invasive species propagules. The establishment of buffer zones and the management of alien and invasive species within these areas is a key management strategy in the prevention of introduction and control/management of biological invasions. In the case of islands buffer zones. Checklists are living entities, especially for biological invasions given the growing nature of the problem. PA -GRIIS checklists are based on the GRIIS published methodology (Pagad et al 2018) and supported by the Integrated Publishing Tool of the Global Biodiversity Information Infrastructure (GBIF) that jointly enable ongoing improvements and updates to expand their taxonomic coverage and completeness. Phase 1 of the PA -GRIIS project will present close to 100 exemplar checklists of introduced (alien) and invasive species in a selection of protected areas and other areas of biodiversity significance This annotated checklist is of introduced (alien) and invasive alien species known to occur in the Aldabra Atoll, Seychelles- a designated World Heritage Site, a Ramsar wetland of international significance and a nationally designated Special Reserve
DOI: 10.21227/798w-jh12
title: Optimization model for the operating cost reduction of DC Microgrid under real-time pricing

description: An optimization model with heuristic algorithmis implemented to optimize the virtual resistances of droopcontrol for the grid-connected converters of dispatchable units, such that the power flow can be regulated. The performances of the proposed strategy are evaluated by the case studies of a 12-bus 380 V DC microogrid using matlab and a 32-bus 380 V DC microgrid using a real-time digital simulator.
DOI: 10.21227/tkpg-nc45
title: Optimization model for the operating cost reduction of DC Microgrid under real-time pricing

description: An optimization model with heuristic algorithmis implemented to optimize the virtual resistances of droopcontrol for the grid-connected converters of dispatchable units, such that the power flow can be regulated. The performances of the proposed strategy are evaluated by the case studies of a 12-bus 380 V DC microogrid using matlab and a 32-bus 380 V DC microgrid using a real-time digital simulator.
DOI: 10.5281/zenodo.3726650
title: RES URBIS analysis of national and internal regulations on Environmental Protection

description: This dataset, cured by RES URBIS Ethical Advisory Board, is an outcome of activities held in WP8 about Ethics issues and namely is a description of rules followed and actions undertaken by each Partner during their experimental activity, in order to ensure Environmental Protection. For this purpose, all relevant information has been gathered by asking all Partners to fill in a summary table with specification of national rules applying for each Party and of internal rules, if any, hence divided per Country and per partner. (Data Updated in December 2019)
DOI: 10.5281/zenodo.3726651
title: RES URBIS analysis of national and internal regulations on Environmental Protection

description: This dataset, cured by RES URBIS Ethical Advisory Board, is an outcome of activities held in WP8 about Ethics issues and namely is a description of rules followed and actions undertaken by each Partner during their experimental activity, in order to ensure Environmental Protection. For this purpose, all relevant information has been gathered by asking all Partners to fill in a summary table with specification of national rules applying for each Party and of internal rules, if any, hence divided per Country and per partner. (Data Updated in December 2019)
DOI: 10.21227/r9cg-jy04
title: CONFLICT SCENARIOS IN SMART HOMES

description: This is a repository of 102 smart home conflict scenarios, which were designated as conflict by actual human users. In other words, humans consider the scenarios below to be conflicts in a smart home environment. To see how to use this repository, and how the repository was collected, please read the following paper:Fereshteh Jadidi Miandashti, Mohammad Izadi, Ali Asghar Nazari Shirehjini, and Shervin Shirmohammadi, “An Empirical Approach to Modeling User-System Interaction Conflicts in Smart Homes”, IEEE Trans. on Human-Machine Systems, 2020.Please note that the scenarios in our repository help identify what is conflict from the users’ perspective. They do not tell us how to handle those conflicts. In other words, the cases below are about conflict detection, not conflict resolution.This repository can help designers of Smart Homes understand what rules (system behaviors) were perceived by users as conflict, so they can design appropriate conflict detection and conflict resolution modules for their Smart Home system. For example, in one scenario, the user might open the window to let in the fresh air, but the user has forgotten that his pet bird is roaming free in the room and might escape from the window! The system knows the latter fact and closes the window immediately. Our Smart Home users considered this scenario to be a conflict. A designer might come across a scenario similar to this. In this case, the designer can use our repository to (1) understand that his/her scenario, which is very similar to one of the scenarios in our repository, is indeed considered a conflict by smart home users; hence the designer can investigate it subjectively or with some well-known techniques, and (2) design appropriate conflict detection and resolution rules for it in order to increase user satisfaction. Of course, our repository does not contain all possible conflict scenarios in a smart home, but it gives a fairly good starting point. The scenarios were translated to English by the researchers and the table is not listing duplicate entries.
DOI: 10.5281/zenodo.3726655
title: RES URBIS analysis of national and internal regulations on Work Health & Safety

description: This dataset, cured by RES URBIS Ethical Advisory Board, is an outcome of activities held in WP8 about Ethics issues and namely is a description of rules followed and actions undertaken by each Partner during their experimental activity, in order to ensure Work Health & Safety. For this purpose, all relevant information has been gathered by asking all Partners to fill in a summary table with specification of national rules applying for each Party and of internal rules, if any, hence divided per Country and per partner. (Data Updated in December 2019)
DOI: 10.5281/zenodo.3726654
title: RES URBIS analysis of national and internal regulations on Work Health & Safety

description: This dataset, cured by RES URBIS Ethical Advisory Board, is an outcome of activities held in WP8 about Ethics issues and namely is a description of rules followed and actions undertaken by each Partner during their experimental activity, in order to ensure Work Health & Safety. For this purpose, all relevant information has been gathered by asking all Partners to fill in a summary table with specification of national rules applying for each Party and of internal rules, if any, hence divided per Country and per partner. (Data Updated in December 2019)
DOI: 10.5281/zenodo.3695225
title: Data_Figure 9_11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ

description: Data of figure 9 from 11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ Dataset (doi:10.1194/jlr.M092908) contains the original figure as TIF-format (10.1194_jlr.M092908_Fig. 9). Graphical abstract.
DOI: 10.5281/zenodo.3695224
title: Data_Figure 9_11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ

description: Data of figure 9 from 11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ Dataset (doi:10.1194/jlr.M092908) contains the original figure as TIF-format (10.1194_jlr.M092908_Fig. 9). Graphical abstract.
DOI: 10.5281/zenodo.3695176
title: Data_Figure 7_11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ

description: Data of figure 7 from 11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ Dataset (doi:10.1194/jlr.M092908) contains the original figure as TIF-format (10.1194_jlr.M092908_Fig. 7). Corresponding raw data obtained from docking calculation analysis and calculation provided as two files in TXT format (31003A-179400_DATE_KB_27Oxysterol_19_5-6_1). All further experiment related information and subsequent data analysis provided as two meta-data-files (31003A-179400_DATE_KB_27Oxysterol_19_5-6_M) as TXT format.
DOI: 10.5281/zenodo.3695175
title: Data_Figure 7_11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ

description: Data of figure 7 from 11β-Hydroxysteroid dehydrogenases control access of 7β,27-dihydroxycholesterol to retinoid-related orphan receptor γ Dataset (doi:10.1194/jlr.M092908) contains the original figure as TIF-format (10.1194_jlr.M092908_Fig. 7). Corresponding raw data obtained from docking calculation analysis and calculation provided as two files in TXT format (31003A-179400_DATE_KB_27Oxysterol_19_5-6_1). All further experiment related information and subsequent data analysis provided as two meta-data-files (31003A-179400_DATE_KB_27Oxysterol_19_5-6_M) as TXT format.
DOI: 10.21227/n1gt-bz74
title: Optimization model for the operating cost reduction of DC Microgrid under real-time pricing

description: An optimization model with heuristic algorithmis implemented to optimize the virtual resistances of droopcontrol for the grid-connected converters of dispatchable units, such that the power flow can be regulated. The performances of the proposed strategy are evaluated by the case studies of a 12-bus 380 V DC microogrid using matlab and a 32-bus 380 V DC microgrid using a real-time digital simulator.
DOI: 10.5281/zenodo.3726691
title: Replication package for "Mutation testing of smart contracts at scale"

description: Replication package for TAP2020 paper "Mutation testing of smart contracts at scale" Abstract: It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and completeness of the tests. There are already several approaches that tackle this challenge with mutation testing, but their effectiveness is questionable since they only considered small contract samples. Hence, we evaluate the quality of smart contract mutation testing at scale. We choose the most promising of the existing (smart contract specific) mutation operators, analyse their effectiveness in terms of killability and highlight severe vulnerabilities that can be injected with the mutations. Moreover, we improve the existing mutation methods by introducing a novel killing condition that is able to detect a deviation in the gas consumption, i.e., in the monetary value that is required to perform transactions.
description: This work was supported in part by the National Research Foundation (NRF), Prime Minister's Office, Singapore, under its National Cybersecurity R&D Programme (Award No. NRF2016NCR-NCR002-028) and administered by the National Cybersecurity R&D Directorate.
DOI: 10.14457/cu.the.2012.1771
title: การวิเคราะห์ทักษะที่ใช้ในการแก้ปัญหาโจทย์คณิตศาสตร์ของนักเรียนมัธยมศึกษาปีที่ 1
DOI: 10.5281/zenodo.3726690
title: Replication package for "Mutation testing of smart contracts at scale"

description: Replication package for TAP2020 paper "Mutation testing of smart contracts at scale" Abstract: It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also important to ensure the quality and completeness of the tests. There are already several approaches that tackle this challenge with mutation testing, but their effectiveness is questionable since they only considered small contract samples. Hence, we evaluate the quality of smart contract mutation testing at scale. We choose the most promising of the existing (smart contract specific) mutation operators, analyse their effectiveness in terms of killability and highlight severe vulnerabilities that can be injected with the mutations. Moreover, we improve the existing mutation methods by introducing a novel killing condition that is able to detect a deviation in the gas consumption, i.e., in the monetary value that is required to perform transactions.
description: This work was supported in part by the National Research Foundation (NRF), Prime Minister's Office, Singapore, under its National Cybersecurity R&D Programme (Award No. NRF2016NCR-NCR002-028) and administered by the National Cybersecurity R&D Directorate.