1![Scalable Test Data Generation from Multidimensional Models Emina Torlak U.C. Berkeley∗ Scalable Test Data Generation from Multidimensional Models Emina Torlak U.C. Berkeley∗](https://www.pdfsearch.io/img/644a8657a9b67546e6472e71b81a7a23.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2017-06-23 18:20:17
|
---|
2![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 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](https://www.pdfsearch.io/img/c43f873477b87bbccb69f53ce907ad5d.jpg) | Add to Reading ListSource URL: www.exampler.comLanguage: English - Date: 2016-06-29 18:26:02
|
---|
3![Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu](https://www.pdfsearch.io/img/ff06ce24e6161db4324b9a8e4c87de94.jpg) | Add to Reading ListSource URL: users.ece.cmu.eduLanguage: English - Date: 2014-05-29 15:38:01
|
---|
4![QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes](https://www.pdfsearch.io/img/423b8fc0891c60de52a63191230b0e5c.jpg) | Add to Reading ListSource URL: www.eecs.northwestern.eduLanguage: English - Date: 2009-10-12 13:45:57
|
---|
5![Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland](https://www.pdfsearch.io/img/a005b8f40c8e71e2068e78fb87d47df3.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-08-30 12:25:15
|
---|
6![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 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](https://www.pdfsearch.io/img/6617f8b1cb7b4c687f1af5b38d457582.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2014-09-13 07:09:29
|
---|
7![Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department](https://www.pdfsearch.io/img/d71107365bcf2cda50bf0ab4a58077a8.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2013-09-28 05:09:03
|
---|
8![Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2 Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2](https://www.pdfsearch.io/img/06be6fe4e20dd99dc84b628773b43c2a.jpg) | Add to Reading ListSource URL: www.sci.unich.itLanguage: English - Date: 2013-07-17 03:25:30
|
---|
9![EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new](https://www.pdfsearch.io/img/8b7c12f5ae5b7e79605a9f72802f3e41.jpg) | Add to Reading ListSource URL: people.rennes.inria.fr- Date: 2010-05-25 10:06:16
|
---|