Automatic Software Repair: a Bibliography

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature

Blueprint Buffalo Action Plan: Regional Strategies for Reclaiming Vacant Properties in the City and Suburbs of Buffalo

Over a period of about nine months, the NVPC team conducted interviews and gathered insights that have resulted in this report. During the study period, Buffalo–Niagara emerged as a region broadly challenged by decades of disinvestment and population loss, but also as a close network of communities singularly blessed with a wealth of historic, transit-friendly, and affordable neighborhoods and commercial areas. Building on the City of Buffalo’s “asset management” strategy first proposed in 2004 by the Cornell Cooperative Extension Association—and now formally adopted by the Buffalo Common Council as part of its comprehensive 20-year plan for the city—the NVPC team sought to reexamine how the revitalization of Buffalo’s vacant properties could actually serve as a catalyst to address the region’s other most pressing problems: population loss, a weak real estate market in the inner city, signs of incipient economic instability in older suburbs, quality-of-life issues, school quality, and suburban sprawl

The New York City Housing Receivership and Community Management Programs

Each year New York City landlords abandon buildings containing an estimated 10,000 apartments, forcing tenants to leave as the ownerless buildings plunge into decay. At least half of these buildings are structurally solid and might last several more decades if not abandoned. Most are found in areas where problem buildings- buildings which have a potential for abandonment- will most likely be found. New York City has instituted a number of programs for dealing with buildings which are headed toward abandonment. They include code-enforcement, emergency repair and receivership programs, foreclosure for nonpayment of property taxes, and rehabilitation programs involving municipal loans, housing-repair contracts, and the conversion of buildings to tenant-owned cooperatives. This Note will trace the history, development, and operation of the New York City Housing Receivership Program, placing special emphasis on recent developments and innovations in the area of community group involvement