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)
—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)
  • Jeremy Lin
  • 2015
Offshore wind power, a type of renewable energy sources, presents a unique set of technical, economic and regulatory challenges to the power system planning and operation. PJM Interconnection, one of the largest independent system planners (ISP) in the United States in terms of total load served, has recently received a merchant proposal to integrate(More)
  • Jeremy Lin
  • 2016
Offshore wind power, a type of renewable energy sources (RES), presents a unique set of technical, economic, and regulatory challenges to the power system planning and operation. PJM Interconnection, one of the largest independent system planners (ISP) in the United States in terms of total load served, has recently received a merchant proposal to integrate(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)