Search Sciweavers | Sciweavers

1241 search results - page 20 / 249

» Path-oriented random testing

131

click to vote

STOC
2010
ACM

174views Algorithms» more STOC 2010»

Local list-decoding and testing of random linear codes from high error

15 years 11 months ago

Download web.mit.edu

Swastik Kopparty, Shubhangi Saraf

claim paper

Read More »

117

Voted

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

15 years 10 months ago

Download www.church-project.org

Koen Claessen, John Hughes

claim paper

Read More »

135

click to vote

VLSID
1999
IEEE

103views VLSI» more VLSID 1999»

POWERTEST: A Tool for Energy Conscious Weighted Random Pattern Testing

15 years 10 months ago

Download www.ra.informatik.uni-stuttgart.de

Xiaodong Zhang, Kaushik Roy, Sudipta Bhawmik

claim paper

Read More »

118

Voted

ITC
1991
IEEE

92views Hardware» more ITC 1991»

Refined Bounds on Signature Analysis Aliasing for Random Testing

15 years 10 months ago

Download crc.stanford.edu

Nirmal R. Saxena, Piero Franco, Edward J. McCluske...

claim paper

Read More »

137

Voted

SERP
2007

82views Software Engineering» more SERP 2007»

Random Test Data Generation for Java Classes Annotated with JML Specifications

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers