• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.9
• /
• pp.3885-3906
• /
• 2020

Hybrid fuzzing which combines fuzzing and concolic execution, has proved its ability to achieve higher code coverage and therefore find more bugs. However, current hybrid fuzzers usually suffer from inefficiency and poor scalability when applied to complex, real-world program testing. We observed that the performance bottleneck is the inefficient cooperation between the fuzzer and concolic executor and the slow symbolic emulation. In this paper, we propose a novel solution named EPfuzzer to improve hybrid fuzzing. EPfuzzer implements two key ideas: 1) only the hardest-to-reach branch will be prioritized for concolic execution to avoid generating uninteresting inputs; and 2) only input bytes relevant to the target branch to be flipped will be symbolized to reduce the overhead of the symbolic emulation. With these optimizations, EPfuzzer can be efficiently targeted to the hardest-to-reach branch. We evaluated EPfuzzer with three sets of programs: five real-world applications and two popular benchmarks (LAVA-M and the Google Fuzzer Test Suite). The evaluation results showed that EPfuzzer was much more efficient and scalable than the state-of-the-art concolic execution engine (QSYM). EPfuzzer was able to find more bugs and achieve better code coverage. In addition, we discovered seven previously unknown security bugs in five real-world programs and reported them to the vendors.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.22 no.6
• /
• pp.1449-1453
• /
• 2008

Galla Rhois is a nest of parasitic bug, has been traditionally used for the treatment of the therapy of diarrhea, peptic ulcer, hemauria, etc., that showed various anti-inflammatory activity, and other biological properties. We studied the effect of Galla Rhois ethanol extract. we investigated whether compounds isolated from the ethanol extract of Galla Rhois, could modulate iNOS and COX-2 expression in RAW 264.7 macrophages stimulated with lipopolysaccharide (LPS). We found compounds that suppressed LPS-induced iNOS and COX-2 expression. Suppression of the expression of iNOS and COX-2 was in parallel with the comparable inhibition of the production of nitric oxide (NO) and prostaglandin E2 (PGE2). Our results suggest that compounds can inhibit NO and PGE2 productions through suppression of LPS-induced iNOS and COX-2 expression. Because COX-2- or iNOS-dependent mechanisms are involved in inflammation and tumor progression, our findings provide a new uncovering mechanism responsible for anti-inflammatory and antitumor effects of Galla Rhois.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.90-93
• /
• 2003

The function, which represents the closed curve, is found from the sampling data by S-System in this study. Two methods are proposed. One is the extension of S-System. The data x and y are regarded as input data, and the data z=0 as output data. To avoid the trap into the invalid function, the judgment points (x$\_$j/, y/sug j/) are introduced. They are arranged in the inside and the outside of the closed curve. By introducing this concept, the functions representing closed curve are found by S-System. This method is simple because of a little extension of S-System. It is, however, difficult for the method to find the complex function like a hand-written curve. Then another method is also proposed. It uses the system incorporating the argument function. The closed curve can be expressed by the argument function. The relatively complex function, which represents the closed curve like a hand-written curve, is found by utilizing argument function.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.10
• /
• pp.559-570
• /
• 2003

Automation of programming-error detection is an important part of intelligent programming language tutoring systems. In this paper, a new programming error detection approach for novice programmers is proposed by plan matching and program execution. Program execution result is used to resolve the restricted programming plan representation and to provide a confirming evidence for the plan matching differences. By checking the values of shared variable between the related plans, we can detect the cause-effect relationship between the plans. With this relationship and the test data, we can explain the program's unexpected behaviors according to the bug's cause and resulting effects.

• The Microorganisms and Industry
• /
• v.25 no.2
• /
• pp.11-18
• /
• 1999

The sweet potatoes infected with witches'-broom disease were collected in the growing fields in Jeon-bug area, Korea. As a possible control plant, Ipomoea batatas L.var. Suwon 147 was selected. The pathogen was identified by various methods ; such as mechanical transmission, antibiotic reactions and electron microscopy. In the results attained the author believed the pathogen of the sweet potato infected with witches' broom to be a mycoplasma-like organism. the results are as follows : 1. Mycoplasma-like bodies were occurred in the phloem region of the sweet potatoes infected with witches'-broom and its particles were sized in the range of about 200-2,500m.mu.. The membrane of the pathogen was observed to be made of an unit. 2. Responsibilities to the antibiotices were sensitive in case of tetracycline and terramycin, and root dipping method showed remarkable than foliage spray. 3. The infection was developed by the grafting transmission but by the insects, Myzus persicae and Cicadella viridis. 4. rosette, witches'-broom, stunt, yellowish, mosaic and necrosis were observed as the symptomps of the disease.

• Journal of the Korean Professional Engineers Association
• /
• v.5 no.17
• /
• pp.3-10
• /
• 1972

This report is the result of the basic geologic investigation for the purpose of preparing the long-term development program of the U-jeon Consolidated Coal kline. The Consolidated Coal Mine is located at Gujeol-ri, Wangsan-myeon, Myeongju-gun, and Yucheon-ri, Bug-myeon, Jeongseon-gun, Gan-gweon Province (128$^{\circ}$ 43′10.4"-128$^{\circ}$ 46′10. 4"of east long-ititude, 37$^{\circ}$ 30′-37$^{\circ}$ 33′ of north latitude). This region, the western part of Taebaek mountain range, shows a ragged mountinous feature. Formations of the Pyeongan System of Paleozoic Era are distribu ted in the region with the surrounding Great Limestone Series of Joseon System which covers the south-eastern part of the region. The Pyeongan System is divided into four formations, namely, the Hongjeom, the Sadong, the Gobang and the Hongam, in ascending order. The sadong Formation intercalates several coal beds, and two coal beds out of them are minable. The coal beds are variable in thickness, having the repeated swelled or poket and the pinched parts, which suggest all intense disturbance caused by folding. The heat value of the coal is 5, 500cal. on the average. The total amount of coal reserves of the U-jeon consolidated Coal Mine is estimated at about thirty million metric tons.

• Korean journal of applied entomology
• /
• v.56 no.1
• /
• pp.87-92
• /
• 2017

The Samurai wasp, Trissolcus japonicus (Ashmead) (Hymenoptera: Platygasteridae) is recognized as a solitary parasitoid on eggs of the stink bug, Halyomorpha halys (Stål) (Hemiptera: Pentatomidae), an economic pest causing severe damage to fruits, in South Korea. The wasp appears to be a potential biological agent of the pest. In addition, T. itoi Ryu and T. nigripedius (Nakagawa) were found to parasitize eggs of Eurydema gebleri Kolenati and Dolycoris baccarum Linnaeus, respectively. Diagnostic characters and photographs are provided for identification, and host records of Korean Trissolcus species are also given.

• Korean journal of applied entomology
• /
• v.58 no.4
• /
• pp.281-282
• /
• 2019

We have developed a composition containing three kinds of plant extracts (Deris, Citronella, and Cinnamon) and supplements (xanthan gum and silicone-based compounds) having high control effects on Metcalfa pruinosa. This composition had more than 90% of the nymph bug control effect in the ginseng plantation. In addition, since the insecticidal rate is high for other absorptive pests, it is considered that it can be used as a countermeasure against the implementation of the PLS (positive list system).

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.4
• /
• pp.84-92
• /
• 2002

As today's field programmable gate arrays have very large logic capacity as well as relatively fast operation speed, they're widely used in many application areas. However, debugging the design implemented in FPGA's is very time-consuming and painful as the internal signal probing usually requires large number of FPGA re-compilations, which take tremendously long time. In this paper, we analyze the problems in FPGA debugging and propose a new powerful debugging solution. With the proposed FPGA debugging solution, we can guarantee not only to provide 100% internal signal visibility without FPGA re-compilation for the design in FPGA's, but also to identify at least one design bug per FPGA compilation. An experimental result has clearly shown the proposed approach to FPGA debugging very powerful and practical.

• Journal of the Speleological Society of Korea
• /
• no.66
• /
• pp.45-57
• /
• 2005

This Paper is a study on the duality of speleothem that appeared in 'Hyeob Jae Cave' which is designated as the natural monumen. No.236. It is located at Hyeob Jae Ri, Hanrim Eub, Bug Je-ju Gun, Je-judo. The findings are as follows. 1. The distribution range of the shelly sand which has maximum thickness of $10m{\pm}$ and average of $3m{\pm}$ was $3.2m^2$. 2. The desert hollow acted to promote the speleothem deposits in the lava tunnel with lava mound formed by lavapilz and artificial breaksand wall. 3. The main component of the pseudo limestone cavern was carbonate Calcium from shelly sand. And the deposition of speleothem in the Cave was accelerated after the volcanic erupsion of Biyang island in 1002. A.D. 4. The secondary depositions of Calcite recognized as speleothem up to now it can be used for the pseudo karst in general. 5. It seems that the variety of the cave deposits is decided depending upon the geology, land form, climate, vegetations and the structural environmental factors. 6. It seems that the wondering development of accretionary deposits caused by encrusting has a close relation with intermittent seepage of ground water. 7. Finally, we can acknowledge the coexistent duality of speleothem by shelly sand along with the joint and the lava stalactites formed at the same time with the lava tunnel on the ceiling where there was no seepage.