Proceedings. 19th International Conference on Automated Software Engineering
2004
The following topics are dealt with: automated software engineering; program analysis; tool support for V&V activities; architecture and frameworks; program testing; code verification; automated programmer assistance; and modular verification