Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases

Most research on automated specification-based softwaretesting has focused on the automated generation oftest cases. Before a software system can be tested, it must beset up according to the input requirements of the test cases.This setup process is usually performed manually, especiallywhen testing...

Full description

Saved in:

Bibliographic Details
Published in:	International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 pp. 96 - 105
Main Authors:	Leow, Wee Kheng, Khoo, Siau Cheng, Sun, Yi
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 23.05.2004
Series:	ACM Conferences
Subjects:	Applied sciences Computer science; control theory; systems Exact sciences and technology General and reference > Cross-computing tools and techniques > Validation Software Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Empirical software validation Software and its engineering > Software creation and management > Software verification and validation > Process validation Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software engineering Theory of computation > Logic > Logic and verification Code generation Arithmetics Software development Information system Partial ordering Program specification Test generation Test validation Calculator Object oriented Database Behavior oriented Program proof Program test Search tree Data structure
ISBN:	9780769521633, 0769521630
ISSN:	0270-5257
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!