Bridging the Gap Between the Theory and Practice of Software Test Automation

In software development practice, testing often accounts for as much as 50% of the total development effort. It is therefore imperative to reduce the cost and improve the effectiveness of software testing by automating the testing process. In the past decades, a substantial amount of research effort...

Full description

Saved in:

Bibliographic Details
Published in:	2010 ACM/IEEE 32nd International Conference on Software Engineering Vol. 2; pp. 445 - 446
Main Authors:	Budnik, Christof J., Chan, Wing Kwong, Kapfhammer, Gregory M.
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 01.05.2010 IEEE
Series:	ACM Conferences
Subjects:	Automation Computer science Computing methodologies > Symbolic and algebraic manipulation Conferences Educational institutions General and reference > Cross-computing tools and techniques > Reliability General and reference > Cross-computing tools and techniques > Validation Software Software and its engineering > Software creation and management > Software development techniques > Error handling and recovery 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 > Formal software verification 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 > Process validation > Traceability Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software organization and properties > Extra-functional properties > Software reliability Software and its engineering > Software organization and properties > Software functional properties > Formal methods Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking Software engineering Testing Theory of computation > Logic > Verification by model checking Theory of computation > Models of computation > Abstract machines Theory of computation > Semantics and reasoning > Program reasoning > Abstraction Theory of computation > Semantics and reasoning > Program reasoning > Program verification
ISBN:	9781605587196, 1605587192
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!