Jeremy Lin

Learn More
Regression testing is an important activity in software maintenance. Although a number of existing research results have addressed the problems and solutions in regression testing of traditional programs, no research results have focused on the issues and solutions in regression testing of object-oriented programs. In this paper, we present a method for(More)
Software model checking has become a popular tool for verifying programs' behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. However, even state-of-the-art model checkers are limited in use when they report an overwhelming number of false positives, or when their lengthy running time dwarfs other software(More)
Object-oriented features such as encapsulation, inheritance, and state dependent behavior raise new problems in software testing. In this paper, we describe a reverse engineering approach for software testing of object-oriented programs. The approach is based on a graphic model which consists of three types of diagrams: object relation diagram, block branch(More)
The novel aspect of this study involves illustrating significant adaptation of a functionally loaded bone-PDL-cementum complex in a ligature-induced periodontitis rat model. Following 4, 8, and 15 days of ligation, proinflammatory cytokines (TNF- α and RANKL), a mineral resorption indicator (TRAP), and a cell migration and adhesion molecule for tissue(More)
—Renewable energy resources, such as wind and solar, have become important parts of today's generating resource mix. Along with them, these resources also bring their inherent characteristics of variability and uncertainty. Hence, resource planners must be adaptable to accommodate these resources in conducting resource planning. Understanding their impact(More)
  • T Yao-Tsu, Arthur K Whitney, J D Lin
  • 2004
FORE WORD The r e s e a r c h p r o g r a m under Contract N00014-67-A-0094-0007 was given t o commence on 1 F e b r u a r y 1966, and has been completed on 31 J a n u a r y 1969. This r e p o r t concludes the work c a r r i e d out under this Contract. The objective of the p r e s e n t r e p o r t is to indicate the scope of work performed, to s t a t e(More)
This paper presents the results of a preliminary study with one cerebral palsy child using the ReHaptic Handle, a novel robotic device for the pediatric rehabilitation of upper limb function. The device has two degrees-of-freedom to train pinching, forearm supination/pronation and wrist flexion/extension movements. Interactive computer games have been(More)
—Generally, it is difficult to accurately forecast electricity prices because they are unpredictable. Yet, accurate price forecasting is expected to provide crucial information, needed by power producers and consumers to bid strategically, thereby decreasing their risks and increasing their profits in the electricity market. In this paper, two models using(More)