Sciweavers

641 search results - page 45 / 129
» A Study in Coverage-Driven Test Generation
Sort
View
ICST
2008
IEEE
15 years 4 months ago
On the Predictability of Random Tests for Object-Oriented Software
Intuition suggests that random testing of object-oriented programs should exhibit a high difference in the number of defects detected by two different runs over the same amount of...
Ilinca Ciupa, Alexander Pretschner, Andreas Leitne...
SDM
2009
SIAM
113views Data Mining» more  SDM 2009»
15 years 6 months ago
Graph Generation with Prescribed Feature Constraints.
In this paper, we study the problem of how to generate synthetic graphs matching various properties of a real social network with two applications, privacy preserving social netwo...
Xiaowei Ying, Xintao Wu
PLDI
2011
ACM
14 years 16 days ago
Finding and understanding bugs in C compilers
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
80
Voted
ICALT
2007
IEEE
15 years 4 months ago
An Automatic Quiz Generation System for English Text
In this study, we design and prototype an automatic quiz generation system (auto-quiz for short) for a given English text to test learner comprehension of text content and English...
Li-Chun Sung, Yi-Chien Lin, Meng Chang Chen
STACS
2010
Springer
15 years 4 months ago
Quantum Algorithms for Testing Properties of Distributions
Abstract. Suppose one has access to oracles generating samples from two unknown probability distributions p and q on some N-element set. How many samples does one need to test whet...
Sergey Bravyi, Aram Wettroth Harrow, Avinatan Hass...