Due to the difficulty of repairing defect, many research efforts have been devoted into automatic defect repair. Given a buggy program that fails some test cases, a typical automatic repair technique tries to modify the program to make all tests pass. However, since the test suites in real world projects are usually insufficient, aiming at passing the test suites often leads to incorrect patches. This problem is known as weak test suites or overfitting.In this paper we aim to produce precise patches, that is, any patch we produce has a relatively high probability to be correct. More concretely, we focus on condition synthesis, which was shown to be able to repair more than half of the defects in existing approaches. Our key insight is threefold. First, it is important to know what variables in a local context should be used in an "if" condition, and we propose a sorting method based on the dependency relations between variables. Second, we observe that the API document can be used to guide the repair process, and propose document analysis technique to further filter the variables. Third, it is important to know what predicates should be performed on the set of variables, and we propose to mine a set of frequently used predicates in similar contexts from existing projects.Based on the insight, we develop a novel program repair system, ACS, that could generate precise conditions at faulty locations. Furthermore, given the generated conditions are very precise, we can perform a repair operation that is previously deemed to be too overfitting: directly returning the test oracle to repair the defect. Using our approach, we successfully repaired 17 defects on four projects of Defects4J, which is the largest number of fully automatically repaired defects reported on the dataset so far. More importantly, the precision of our approach in the evaluation is 73.9%, which is significantly higher than previous approaches, which are usually less than 40%.
W e theoretically and empirically investigate the relationship between information technology (IT) and firm innovation. Invoking absorptive capacity (ACAP) theory, we introduce and develop the concepts of three types of IT-enabled knowledge capabilities. Firm innovation is examined through two observable innovation outcomes: patents, and new product and service introductions. These innovation outcomes are often labeled as competitive actions aggressively undertaken by firms to gain market share or to achieve profitability. We use secondary data about IT-enabled knowledge capabilities and innovation outcomes of 110 firms. Our data results provide strong support for our main assertion that knowledge capabilities that are enhanced through the use of IT contribute to firm innovation. The study's findings suggest that the three types of IT-enabled knowledge capabilities have differential effects on firm innovation. This study substantially contributes to the information systems (IS) research, methodology, and practice in multiple ways.Key words: absorptive capacity; business value of IT; competitive impacts of IS; firm innovation; IT-enabled knowledge capability; knowledge management; strategic management of IT History: Rajiv Sabherwal, Senior Editor. This paper was received on June 1, 2008, and was with the authors 10 1 2 months for 3 revisions.
he currently serves as an associate editor of Information Systems Research, department editor of IEEE Transactions on Engineering Management, and senior editor of Information and Management. In the recent past, he has served as a member of the editorial review board of IEEE Transactions on Engineering Management and associate editor of MIS Quarterly. he has also served as a guest editor for the ACM Database for Advances in MIS.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.