The Laboratory for Advanced Software Engineering Research (LASER) is dedicated to investigating techniques for reducing software development and maintenance costs while simultaneously improving the quality of the systems produced. LASER is aggressively attacking the problem of assuring the quality of software. Modern systems are increasingly dependent upon software which is becoming increasingly complex. The growing size of such systems, and their increasing reliance upon such features as concurrency and distribution creates new concerns and challenges.