Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, S...
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
Although there has been significant research into gender regarding educational and workplace practices, there has been little investigation of gender differences pertaining to pro...
Margaret M. Burnett, Scott D. Fleming, Shamsi Iqba...
āTest-suite augmentation for evolving softwareā the process of augmenting a test suite to adequately test software changesāis necessary for any program that undergoes modiļ¬...
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...