Parameterized unit testing theory and practice

Unit testing has been widely recognized as an important and valuable means of improving software reliability, as it exposes bugs early in the software development life cycle. However, manual unit testing is often tedious and insufficient. Testing tools can be used to enable economical use of resourc...

Full description

Saved in:

Bibliographic Details
Published in:	2010 ACM/IEEE 32nd International Conference on Software Engineering Vol. 2; pp. 483 - 484
Main Authors:	Tillmann, Nikolai, de Halleux, Jonathan, Xie, Tao
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 01.05.2010 IEEE
Series:	ACM Conferences
Subjects:	Computing methodologies > Symbolic and algebraic manipulation Education General and reference > Cross-computing tools and techniques > Validation mock objects parameterized unit testing Pex Programming 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 symbolic execution Testing theories Theory of computation > Models of computation > Abstract machines Theory of computation > Semantics and reasoning > Program reasoning > Abstraction Tutorials unit testing USA Councils Writing Pex testing unit testing symbolic execution theories mock objects parameterized unit testing
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!