@INPROCEEDINGS{1357797, 
author={Manonjaran Satpathy and Nils T. Siebel and Daniel Rodriguez}, 
booktitle={Proceedings of the 20th IEEE International Conference on Software Maintenance, 2004}, 
title={Assertions in object oriented software maintenance: analysis and case study}, 
year={2004}, 
pages={124--133}, 
abstract={Assertions had their origin in program verification. For the systems developed in industry, construction of assertions and their use in showing program correctness is a near-impossible task. However, they can be used to show that some key properties are satisfied during program execution. We first present a survey of the special roles that assertions can play in object oriented software construction. We then analyse such assertions by relating them to the case study of an automatic surveillance system. In particular, we address the following two issues: What types of assertions can be used most effectively in the context of object oriented software? How can you discover them and where should they be placed? During maintenance, both the design and the software are continuously changed. These changes can mean that the original assertions, if present, are no longer valid for the new software. Can we automatically derive assertions for the changed software?.}, 
keywords={object-oriented programming;program verification;software maintenance;surveillance;assertions;automatic surveillance system;object oriented software maintenance;program correctness;program execution;program verification;software construction;Computer aided software engineering;Software maintenance}, 
doi={10.1109/ICSM.2004.1357797}, 
ISSN={1063-6773}
}