1763 results in Software Engineering and Development
4 - Input Space Partitioning
- from Part 2 - Coverage Criteria
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 150-169
-
- Chapter
- Export citation
Preface
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp xv-xxii
-
- Chapter
- Export citation
6 - Practical Considerations
- from Part 3 - Applying Criteria in Practice
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 215-234
-
- Chapter
- Export citation
8 - Building Testing Tools
- from Part 3 - Applying Criteria in Practice
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 268-279
-
- Chapter
- Export citation
Part 3 - Applying Criteria in Practice
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 213-214
-
- Chapter
- Export citation
Part 2 - Coverage Criteria
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 25-26
-
- Chapter
- Export citation
7 - Engineering Criteria for Technologies
- from Part 3 - Applying Criteria in Practice
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 235-267
-
- Chapter
- Export citation
9 - Challenges in Testing Software
- from Part 3 - Applying Criteria in Practice
-
- Book:
- Introduction to Software Testing
- Published online:
- 05 June 2012
- Print publication:
- 28 January 2008, pp 280-292
-
- Chapter
- Export citation
Path-Oriented Program Analysis
-
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007
References
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 193-196
-
- Chapter
- Export citation
Contents
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp vii-viii
-
- Chapter
- Export citation
4 - Program set
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 31-38
-
- Chapter
- Export citation
5 - Pathwise decomposition
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 39-54
-
- Chapter
- Export citation
7 - Program recomposition
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 69-86
-
- Chapter
- Export citation
2 - State constraints
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 15-20
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 1-14
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp i-vi
-
- Chapter
- Export citation
Appendix A - Examples
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 109-168
-
- Chapter
- Export citation
3 - Subprogram simplification
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 21-30
-
- Chapter
- Export citation
6 - Tautological constraints
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 55-68
-
- Chapter
- Export citation