Description
This special issue of the Journal of Automated Software Engineering contains four extended papers from the 10th Knowledge-Based Software Engineering Conference, held in Boston, Massachusetts in November 1995. The conference provides a forum for researchers and practitioners to discuss applications of automated reasoning, knowledge representation, and artificial intelligence techniques to software engineering problems. The papers included herein are the best paper award winners, or candidates for same.