scholarly journals DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing

2019 ◽  
Vol 33 ◽  
pp. 1044-1051 ◽  
Author(s):  
Xiao Liu ◽  
Xiaoting Li ◽  
Rupesh Prajapati ◽  
Dinghao Wu
Keyword(s):  
Success Rate ◽  
Sampling Methods ◽  
Automatic Generation ◽  
Security Vulnerabilities ◽  
C Programs ◽  
Branch Coverage ◽  
Fuzz Testing ◽  
Programming Tools ◽  
Preliminary Study

Compilers are among the most fundamental programming tools for building software. However, production compilers remain buggy. Fuzz testing is often leveraged with newlygenerated, or mutated inputs in order to find new bugs or security vulnerabilities. In this paper, we propose a grammarbased fuzzing tool called DEEPFUZZ. Based on a generative Sequence-to-Sequence model, DEEPFUZZ automatically and continuously generates well-formed C programs. We use this set of new C programs to fuzz off-the-shelf C compilers, e.g., GCC and Clang/LLVM. We present a detailed case study to analyze the success rate and coverage improvement of the generated C programs for fuzz testing. We analyze the performance of DEEPFUZZ with three types of sampling methods as well as three types of generation strategies. Consequently, DEEPFUZZ improved the testing efficacy in regards to the line, function, and branch coverage. In our preliminary study, we found and reported 8 bugs of GCC, all of which are actively being addressed by developers.

Laser Based Analysis on Analog Circuits with Feedback Loops and a Case Study

2006 ◽  
Author(s):  
Fubin Zhang ◽  
David Maxwell
Keyword(s):  
Success Rate ◽  
High Resistance ◽  
Analog Circuits ◽  
Analog Circuit ◽  
Feedback Loops ◽  
Induced Voltage ◽  
Analog Device ◽  
Analog Ic ◽  
Successful Isolation

Abstract Based on the understanding of laser based techniques’ physics theory and the topology/structure of analog circuit systems with feedback loops, the propagation of laser induced voltage/current alteration inside the analog IC is evaluated. A setup connection scheme is proposed to monitor this voltage/current alteration to achieve a better success rate in finding the fail site or defect. Finally, a case of successful isolation of a high resistance via on an analog device is presented.

Managament of Bhagandara (Fistula-in-Ano) by Palasha Ksharasutra prepared with Arkaksheera - A Case Report.

2017 ◽  
Vol 2 (1) ◽  
Author(s):  
Ganapathi Rao ◽  
Vijay Kumar ◽  
Ashok Naikar ◽  
Chandrakanth Halli
Keyword(s):  
Quality Of Life ◽  
Case Report ◽  
Success Rate ◽  
Spinal Anesthesia ◽  
Curcuma Longa ◽  
Weekly Interval ◽  
Butea Monosperma ◽  
Fistula In Ano

A standard Ksharasutra is practiced in treatment of Bhagandara (fistula-in-ano) with high success rate and minimum recurrence rate. In previous research it was noted that Pittaja Prakruti patients sometime might cause more perianal irritation due to Apamarga Ksharasutra. So in this study Palasha Ksharasutra prepared in Arkaksheera was prepared by Palasha Kshara (Ash of Butea monosperma), Arka Ksheera (Calotropis gigantic) and turmeric powder (Curcuma longa). This Ksharasutra was prepared as per the API guidelines and preserved in air tight tube. A patient of Pittaja predominant Prakruti with fistula-in ano having two external opening at 6 and 7 O’ clock position of anus was treated with application of Ksharasutra. The Palasha Ksharasutra prepared in Arkaksheera was applied in these two opening under spinal anesthesia. Then Ksharasutra was changed by weekly interval under local xylocaine jelly 2%. The length of thread was measured weekly and noted in the case to assess the unit cutting time (UCT). The unit cutting time (UCT) of first thread was 7.5 days/cm and second one had UCT 6.8 days/cm. During the treatment patient was doing his job regularly without hampering the quality of life. After 2 months patient was free from all symptoms of fistula with normal scar and without any complications. This case study demonstrated the utility of Palasha Ksharasutra prepared in Arkaksheera in multiple fistula-in ano.

scholarly journals Changes of Walking Activity During the First Cycle Phases of COVID-19 Pandemic: A Case Study of Seoul, Korea

2021 ◽  
pp. 193758672110265
Author(s):  
Youngjun Park ◽  
Haekwon Chung ◽  
Sohyun Park
Keyword(s):  
Public Health ◽  
Physical Inactivity ◽  
Voluntary Participation ◽  
Walking Activity ◽  
Significant Difference ◽  
Before And After ◽  
Acceleration And Deceleration ◽  
Preliminary Study ◽  
The Government

Aim: This study explores the changes in regular walking activities during the phases of the pandemic. Background: With the spread of COVID-19 transmission, people are refraining from going out, reducing their physical activity. In South Korea, COVID-19 broke out in the 4th week of 2020 and experienced the first cycle phases of the pandemic, such as outbreak, widespread, and decline. In response to the pandemic, the government encouraged voluntary participation in social distancing campaigns, and people reduced their outside activities. Methods: This article examines the decrease and increase of the Prevalence of Regular Walking (≥30 min of moderate walking a day, on ≥5 days a week) by the COVID-19 phases. This study is based on weekly walking data for 15 weeks in 2020, via the smartphone healthcare app, which is managed by 25 public health offices of the Seoul government. Results: According to the findings, the level of prevalence of regular walking (PRW) has a significant difference before and after the outbreak, and every interval of the four-stage COVID-19 phases, that is, pre-pandemic, initiation, acceleration, and deceleration. The level of PRW sharply decreased during initiation and acceleration intervals. In the deceleration interval of COVID-19, the PRW kept increasing, but it has not yet reached the same level as the previous year when the COVID-19 did not exist. Conclusions: As a preliminary study, this study explains empirically how COVID-19 changed PRW in Seoul. It would be helpful to enhance our understanding of the changes in physical inactivity in the pandemic period.

scholarly journals Preliminary study development of very low head hydro power using vortex turbine in Indonesia: Case study in Ciletuh, Sukabumi, West Java

2021 ◽  
Author(s):  
Ridwan Arief Subekti ◽  
Anjar Susatyo ◽  
Henny Sudibyo ◽  
Sastra Kusuma Wijaya
Keyword(s):  
West Java ◽  
Hydro Power ◽  
Low Head ◽  
Preliminary Study ◽  
Study Development

AUTOMATIC GENERATION OF TEST CASES FROM ACTIVITY DIAGRAMS FOR UML BASED TESTING (UBT)

2015 ◽  
Vol 77 (13) ◽  
Author(s):  
Oluwatolani Oluwagbemi ◽  
Hishammuddin Asmuni
Keyword(s):  
Automatic Generation ◽  
Test Cases ◽  
System Testing ◽  
Activity Diagrams ◽  
Model File ◽  
Transition Criteria

Activity diagrams are one of UML behavioural models suitable for system testing because it has the capacity to effectively describe the behaviours of systems under development. In this paper, a technique is proposed that generates test cases from activity diagrams by constructing an activity flow tree (AFT) which stores all the information extracted from the model file of the diagram through the help of a parser. Then, we applied an algorithm to generate test cases from the constructed tree. Test cases were generated based on the elements of activity diagrams such as activity sequences, associated descriptions and conditions. The proposed technique generated accurate test cases that completely tallied with the modeled requirements in the diagram. We utilized all-paths, basic pair paths, conditions, branches and transition criteria for generating test cases using ATM withdrawal operation software as a case study.

scholarly journals Preliminary Study on Fish Larvae at Selected Coastal Waters of Sarawak

1970 ◽  
Vol 4 (2) ◽  
pp. 1-8
Author(s):  
Norhakimi Muhamad ◽  
Siti Akmar Khadijah Ab Rahim
Keyword(s):  
Coastal Waters ◽  
Intertidal Zone ◽  
Larval Dispersal ◽  
Sampling Methods ◽  
Fish Larvae ◽  
Mesh Size ◽  
Subtidal Zone ◽  
Preliminary Study ◽  
Study Sites

A survey were carried out from April to November 2012 at five study sites namely Teluk Pandan beach, Rambungan beach, Puteri beach, Sampadi Island and Satang Besar Island, Sarawak. This survey was carried out in order to obtain early documentation of fish larvae at selected coastal waters of Sarawak. Seine net (1 mm mesh size) which was pulled by two persons at intertidal zone; and bridle net (0.5 mm mesh size) that was towed by boat at subtidal zone (Sampadi Island only) were used to collect the samples. A total of 2,562 fish larvae which comprise 25 families were obtained from both sampling methods. A total of 16 families of fish larvae were caught by seine net from the intertidal zone. The same number of families was collected at the subtidal zone of Sampadi Island by bridle net. Ambassidae, Clupeidae, Engraulidae and Gerreidae found to be dominant families in the study sites. Clupeidae and Gerreidae shown a wide larval dispersal area because they were collected at all study sites. These findings seem to indicate that the subtidal zone of Sampadi support more species of fish larvae.

scholarly journals Extreme Users

2020 ◽  
Vol 9 (2) ◽  
pp. 393-405
Author(s):  
Danielle Hildebrandt ◽  
Hanny Hindi
Keyword(s):  
Sampling Methods ◽  
Human Agency ◽  
Social Structures ◽  
Target Market ◽  
William Gibson ◽  
Art And Science ◽  
Innovation Research ◽  
The Future ◽  
Care Innovation

Qualitative segmentation is a blend of art and science. There are a variety of sampling methods researchers use to guarantee a pool of participants that is representative of their target market. But for innovation research, we suggest ignoring those squarely in the middle of your target market. Instead, look to extreme users who are indicative of the future. As William Gibson famously put it: “The future is already here—it’s just not very evenly distributed.” We believe that extreme users live where the future has already arrived. In addition, these users are more articulate about their problems or needs, and more likely to employ innovative workarounds and hacks. Extreme behaviors are powerful examples of human agency and the ability to challenge and transform dominant social structures. We will explore this framework with three case-study examples: Looking to transmen and transwomen for feminine care innovation, Hikikomori for future social spaces, and the Amish for clothing sustainability.

Sign in / Sign up

Export Citation Format

Share Document