Lightweight Reasoning about Program Correctness Marsha ChechikWei Ding OriginalPaper Pages: 363 - 377
Towards Specifying Constraints for Object-Oriented Frameworks Daqing HouH. James Hoover OriginalPaper Pages: 393 - 407
Intelligent Search Methods for Software Maintenance Huixiang LiuTimothy C. Lethbridge OriginalPaper Pages: 409 - 423