Test scenario and regression test suite generation from Object-Z formal specification for object-oriented program testing

Authors:
Chun-Yu Chen;Richard Chapman;Kai H. Chang
Affiliations:
Department of Computer Science and Engineering, Auburn University, Auburn, AL;Department of Computer Science and Engineering, Auburn University, Auburn, AL;Department of Computer Science and Engineering, Auburn University, Auburn, AL
Venue:
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Year:
1999

Support for Maintaining Object-Oriented Programs

IEEE Transactions on Software Engineering - Special issue on software maintenance
A safe, efficient regression test selection technique

ACM Transactions on Software Engineering and Methodology (TOSEM)
Regression testing in an industrial environment

Communications of the ACM
A Safe, Efficient Algorithm for Regression Test Selection

ICSM '93 Proceedings of the Conference on Software Maintenance
Object-Z: An Object-Oriented Extension to Z

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols

Hi-index	0.00