Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
testing programming » teaching programming, existing programming, using programming
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
testing programming » teaching programming, existing programming, using programming
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
1
Table of Contents:
“... Case Scenarios -- Acceptance Testing: Business Requirements -- Advanced DDT -- Unit Testing...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and Practice -- Automatic Test-Case Generation -- Testing a Software Product Line -- Parameterized Unit Testing...”View full text
Electronic
eBook
12
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
14
Table of Contents:
“... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Applications -- Synthesis of Scenario Based Test Cases from B Models -- State-Identification Problems...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Failed Unit Tests with Potential Programming Errors -- Empirical Studies -- Does XP Deliver Quality...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... the Agile Documentation Process Test-Case Driven Documentation Demonstration for the XP2006 Conference...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook