Search Results - "Kim, Hotae"
-
1
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
Published in IEEE transactions on software engineering (01-03-2011)“…Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs…”
Get full text
Journal Article -
2
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Published in 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (01-09-2008)“…Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to operate successfully, it is essential that the flash…”
Get full text
Conference Proceeding
-
3
Preparation and Characterization of Lime−Silica Solids
Published in Industrial & engineering chemistry research (01-05-2000)“…Silica-enhanced lime sorbents for flue gas desulfurization have been prepared by pozzolanic hydration of Ca(OH)2 with excess SiO2. As the hydration proceeded,…”
Get full text
Journal Article -
4
Pre-testing Flash Device Driver through Model Checking Techniques
Published in 2008 1st International Conference on Software Testing, Verification, and Validation (01-04-2008)“…Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices…”
Get full text
Conference Proceeding -
5
Utilization of Lime−Silica Solids for Flue Gas Desulfurization
Published in Industrial & engineering chemistry research (04-12-2000)“…Enhancement in the utilization of lime−silica solids for flue gas desulfurization has been experimentally investigated on the basis of their physical and…”
Get full text
Journal Article Conference Proceeding -
6
Removal of surface contaminants by cryogenic aerosol jets
Published in The Korean journal of chemical engineering (01-01-1999)Get full text
Journal Article