Code clones are generally considered to be an obstacle to software maintenance. Research has provided evidence that it may not always be practical, feasible, or cost-effective to ...
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
Steven Lauterburg, Ahmed Sobeih, Darko Marinov, Ma...
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
Dave King 0002, Trent Jaeger, Somesh Jha, Sanjit A...
An automatic retinal image registration algorithm would be an important tool for detecting visible changes in the retina caused by the progress of a disease or by the impact of a ...
Chia-Ling Tsai, Charles V. Stewart, Badrinath Roys...
Functional MRI studies commonly refer to activation patterns as being localized in specific Brodmann areas, referring to Brodmann's divisions of the human cortex based on cyt...
Paul Rasser, Philip Ward, Patrick Johnston, Paul M...