<--- Back to Details
First PageDocument Content
Manufacturing / Test Data Generation / Unified Modeling Language / Test data / Test automation / White-box testing / Code coverage / XML Metadata Interchange / Diagram / Software testing / Software quality / Evaluation
Date: 2008-02-22 07:22:02
Manufacturing
Test Data Generation
Unified Modeling Language
Test data
Test automation
White-box testing
Code coverage
XML Metadata Interchange
Diagram
Software testing
Software quality
Evaluation

Add to Reading List

Source URL: eastwest.inf.brad.ac.uk

Download Document from Source Website

File Size: 54,49 KB

Share Document on Facebook

Similar Documents

Scalable Test Data Generation from Multidimensional Models Emina Torlak U.C. Berkeley∗

DocID: 1tMnR - View Document

Software testing / Software engineering / Code coverage / Mutation testing / Unit testing / Infinite loop / Test data generation

EXPERIENCE WITH THE COST OF DIFFERENT COVERAGE GOALS FOR TESTING Brian Marick Motorola, Inc. In coverage-based testing, coverage conditions are generated from the program text. For example, a branch generates two conditi

DocID: 1qiM8 - View Document

Software testing / Software bugs / Hacking / Buffer overflow / Computer memory / Vulnerability / Static single assignment form / Exploit / Patch / Test data generation / Concolic testing

Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu

DocID: 1oNTx - View Document

Software engineering / Computer programming / Functional languages / Software testing / Functional programming / QuickCheck / Random testing / Literate programming / Procedural programming languages / Monad / Test data generation / Haskell

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes

DocID: 1nkDA - View Document

Software engineering / Software testing / Computing / Theoretical computer science / Formal methods / Logic in computer science / Object-oriented programming / Postcondition / Random testing / Eiffel / General-purpose computing on graphics processing units / Test data generation

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

DocID: 1n32Q - View Document