Sciweavers

1629 search results - page 247 / 326
» Infeasible Code Detection
Sort
View
ICSM
2009
IEEE
15 years 6 months ago
Modularizing error recovery
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...
Jeeva Paudel, Christopher Dutchyn
HASE
2008
IEEE
15 years 6 months ago
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...
Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacke...
IEEEARES
2008
IEEE
15 years 6 months ago
A Lightweight Security Analyzer inside GCC
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
Davide Pozza, Riccardo Sisto
KBSE
2008
IEEE
15 years 6 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
MIAR
2008
IEEE
15 years 6 months ago
Amygdala Surface Modeling with Weighted Spherical Harmonics
Abstract. Although there are numerous publications on amygdala volumetry, so far there has not been many studies on modeling local amygdala surface shape variations in a rigorous f...
Moo K. Chung, Brendon M. Nacewicz, Shubing Wang, K...