Search Results - integration testing programming programming cases https

1

Design Driven Testing Test Smarter, Not Harder /

by Stephens, Matt., Stephens, Matt., Rosenberg, Doug.
Published 2010

Table of Contents: “... Case Scenarios -- Acceptance Testing: Business Requirements -- Advanced DDT -- Unit Testing...”
View full text

Electronic eBook

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

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

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /

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

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings /

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

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols...”
View full text

Electronic eBook

6

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering...

Published 2010

Table of Contents: “... and Practice -- Automatic Test-Case Generation -- Testing a Software Product Line -- Parameterized Unit Testing...”
View full text

Electronic eBook

7

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Published 2007

Table of Contents: “... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”
View full text

Electronic eBook

8

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “... Test Case Generation -- Internal Normalization, Compilation and Decompilation for System -- Towards...”
View full text

Electronic eBook

9

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

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

10

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
View full text

Electronic eBook

11

Reflections on the Teaching of Programming Methods and Implementations /

Published 2008

Table of Contents: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
View full text

Electronic eBook

12

An Integrated Approach to Software Engineering

by Jalote, Pankaj., Jalote, Pankaj.
Published 2005

Table of Contents: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text

Electronic eBook

13

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

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

Production Planning by Mixed Integer Programming

by Pochet, Yves., Pochet, Yves., Wolsey, Laurence A.
Published 2006

Table of Contents: “... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...”
View full text

Electronic eBook

15

Formal Approaches to Software Testing and Runtime Verification First Combined International...

Published 2006

Table of Contents: “... Applications -- Synthesis of Scenario Based Test Cases from B Models -- State-Identification Problems...”
View full text

Electronic eBook

16

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”
View full text

Electronic eBook

17

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

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

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings /

Published 2007

Table of Contents: “... Failed Unit Tests with Potential Programming Errors -- Empirical Studies -- Does XP Deliver Quality...”
View full text

Electronic eBook

19

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings /

Published 2006

Table of Contents: “... the Agile Documentation Process Test-Case Driven Documentation Demonstration for the XP2006 Conference...”
View full text

Electronic eBook

20

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

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

Narrow Search