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

Source URL: homes.cs.washington.edu

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

Source URL: www.exampler.com

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

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

Source URL: users.ece.cmu.edu

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

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

Source URL: www.eecs.northwestern.edu

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

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

Source URL: se.inf.ethz.ch

• 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

SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test

Source URL: lara.epfl.ch

Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

Source URL: www.sci.unich.it

Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

Source URL: www.sci.unich.it

EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new

Source URL: people.rennes.inria.fr