<--- Back to Details
First PageDocument Content
Software development / Swarm behaviour / Mutation testing / Test suite / Test case / Code coverage / Test automation / Test Data Generation / Software testing / Software quality / Evaluation
Date: 2012-06-04 16:49:31
Software development
Swarm behaviour
Mutation testing
Test suite
Test case
Code coverage
Test automation
Test Data Generation
Software testing
Software quality
Evaluation

Swarm Testing Alex Groce Eric Eide Chaoqiang Zhang

Add to Reading List

Source URL: www.cs.utah.edu

Download Document from Source Website

File Size: 419,32 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