1
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
6
by Grout, Ian A., Grout, Ian A.
Published 2006
Table of Contents: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
View full text
Electronic eBook
10
Table of Contents: ... Measuring Multiple Abilities -- Models for Adaptive Test Assembly -- Designing Item Pools for Programs...
View full text
Electronic eBook
11
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...
View full text
Electronic eBook
13
by Lee, Kent D., Lee, Kent D.
Published 2011
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
14
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
15
by Hamlet, Dick., Hamlet, Dick.
Published 2010
Table of Contents: ... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... Sprints to Lean Flow: Management Strategies for Agile Improvement -- Mob Programming – What Works, What...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...
View full text
Electronic eBook
19
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
View full text
Electronic eBook
20
Table of Contents: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
View full text
Electronic eBook