Posts tagged Geeks

• Categories

  • Computer Engineering
  • Engineering
  • Software Engineering

• IEEE Transactions on Software Engineering

  • PrePrint: Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
    With the wide support for object serialization in object-oriented programming languages, persistent objects have become common place and most large object-oriented software systems rely on extensive amounts of persistent data. Such systems also evolve over time. Retrieving previously persisted objects from classes whose schema has changed is however difficul […]
  • PrePrint: GenProg: A Generic Method for Automated Software Repair
    This article describes GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without formal specifications, program annotations, or special coding practices. GenProg uses an extended form of genetic programming to evolve a program variant that retains required functionality but is not susceptible to a given defect, using existi […]
  • PrePrint: Evaluating Dynamic Software Update Safety Using Systematic Testing
    Dynamic software updating (DSU) systems patch programs on the fly without incurring downtime. To avoid failures due to the updating process itself, many DSU systems employ timing restrictions. However, timing restrictions are theoretically imperfect, and their practical effectiveness is an open question. This paper presents the first significant empirical ev […]
  • PrePrint: Does Software Process Improvement Reduce the Severity of Defects? A Longitudinal Field Study
    As firms increasingly rely on information systems to perform critical functions the consequences of software defects can be catastrophic. Although the software engineering literature suggests that software process improvement can help to reduce software defects, the actual evidence is equivocal. For example, improved development processes may only remove the […]
  • PrePrint: SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by increasing propositional formula sizes and the loss of high-level information during the translation preventing potential optimizations to reduce the state space to be explored. These limitations can be overcome by encoding high-level informa […]
  • PrePrint: Size-Constrained Regression Test Case Selection Using Multi-Criteria Optimization
    This paper proposes a novel approach for selecting and ordering a predetermined number of test cases from an existing test suite. Our approach forms an Integer inear Programming problem using two different coverage-based criteria, and uses constraint relaxation to find many close-to-optimal solution points. These points are then combined to obtain a final so […]
  • PrePrint: QoS Assurance for Dynamic Reconfiguration of Component Based Software Systems
    A major challenge of dynamic reconfiguration is Quality of Service (QoS) assurance, which is meant to reduce appli-cation disruption to the minimum for the system’s transformation. However, this problem has not been well studied. This paper investigates the problem for component-based software systems from three points of view. First, the whole spectrum of Q […]
  • PrePrint: Invariant-Based Automatic Testing of Modern Web Applications
    AJAX-based Web 2.0 applications rely on stateful asynchronous client/server communication, and client-side run-time manipulation of the DOM tree. This not only makes them fundamentally different from traditional web applications, but also more error-prone and harder to test. We propose a method for testing AJAX applications automatically, based on a crawler […]
  • PrePrint: Schedule of Bad Smell Detection and Resolution: A New Way to Save Effort
    Bad smells are signs of potential problems in code. Detecting and resolving bad smells, however, remain time consuming for software engineers despite proposals on bad smell detection and refactoring tools. Numerous bad smells have been recognized, yet the sequences in which the detection and resolution of different kinds of bad smells are performed are rarel […]
  • PrePrint: Measuring Code Quality to Improve Specification Mining
    Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. However, they are difficult to write manually, and automatic mining techniques suffer from 90-99% false positive rates. To address this problem, we propose to augment a temporal-property miner by incorporating code quali […]
  • PrePrint: On Fault Representativeness of Software Fault Injection
    The injection of software faults in software components to assess the impact of these faults on other components or on the system as a whole, allowing the evaluation of fault tolerance, is relatively new compared to decades of research on hardware fault injection. This paper presents an extensive experimental study (more than 3.8 millions of individual exper […]
  • PrePrint: Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
    Though very important in software engineering, linking artifacts of the same type (clone detection) or different types (traceability recovery) is extremely tedious, error-prone, and effort-intensive. Past research focused on supporting analysts with techniques based on Natural Language Processing (NLP) to identify candidate links. Because many NLP techniques […]
  • PrePrint: Random Testing: Theoretical Results and Practical Implications
    A substantial amount of work has shed light on whether random testing is actually a useful testing technique. Despite its simplicity, several successful real-world applications have been reported in the literature. Although it is not going to solve all possible testing problems, random testing appears to be an essential tool in the hands of software testers. […]
  • PrePrint: Language-Independent and Automated Software Composition: The FEATUREHOUSE Experience
    Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has been (re)invented and implemented individually for various kinds of software artifacts. We unify languages and tools that rely on superimposition by using the language-independent m […]
  • PrePrint: Matching and Merging of Variant Feature Specifications
    Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this article, we describe two such operators for manipulating feature specifications described using hierarchical state machine models: Match, for finding correspondence […]

• Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

• Site Links

  Car Apps and Car Applications

  Online Recruitment

  Online Jobs Students

  iPhone Problems

  Statins Side Effects

  Best Cool Apps
  

• Tags

  About Announcing BANNER Computer Engine ENGINEERING Geeks IR23SMRA Jobs NSFP Optimization Providers Providers...shocking Release Search Service SoftwareEngineers.com Stability Truth