BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
random testing
Google random testing

Tag #random testing

65 papers:

OOPSLAOOPSLA-2019-OzkanMO #distributed #testing
Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.
POPLPOPL-2018-MajumdarN #debugging #effectiveness #question #testing #why
Why is random testing effective for partition tolerance bugs? (RM, FN), p. 24.
ICSTICST-2018-HodovanK #composition #framework #named #open source #testing
Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.
ICSTICST-2017-PouldingF17a #automation #multi #testing
Automated Random Testing in Multiple Dispatch Languages (SMP, RF), pp. 333–344.
IFM-2016-RiescoR #streaming #testing
Temporal Random Testing for Spark Streaming (AR0, JRH), pp. 393–408.
ICFP-2016-Sergey #algorithm #case study #experience #geometry #testing
Experience report: growing and shrinking polygons for random testing of computational geometry algorithms (IS), pp. 193–199.
ASEASE-2015-MaAZSGR #named #testing
GRT: Program-Analysis-Guided Random Testing (T) (LM, CA, CZ, HS, JG, RR), pp. 212–223.
ISSTAISSTA-2015-YatohSIH #generative #testing
Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
SEKESEKE-2014-HirasakiKT #interactive #testing
Applying Random Testing to Constrained Interaction Testing (YH, HK, TT), pp. 193–198.
ICFPICFP-2013-St-AmourT #case study #experience #testing
Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
PPDPPPDP-2013-Holdermans #data type #functional #guidelines #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
SACSAC-2013-FuriaMOTW #automation #testing
The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
SACSAC-2013-HuangXCL #adaptation #algorithm #analysis #detection #implementation #parallel #testing
Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms (RH, XX, JC, YL), pp. 1049–1054.
ICSEICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #testing
An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.
ICSTICST-2012-Oriol #evaluation #fault #testing
Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.
ICTSSICTSS-2011-Gaudel #testing
Counting for Random Testing (MCG), pp. 1–8.
ICTSSICTSS-2011-SchwarzlAW #composition #testing #using
Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
ISSTAISSTA-2011-ArcuriB #adaptation #effectiveness #question #testing
Adaptive random testing: an illusion of effectiveness? (AA, LCB), pp. 265–275.
TAPTAP-2011-HeamM #approach #automaton #testing #using
A Random Testing Approach Using Pushdown Automata (PCH, CM), pp. 119–133.
OOPSLAOOPSLA-2010-KleinFF #higher-order #source code #testing
Random testing for higher-order, stateful programs (CK, MF, RBF), pp. 555–566.
ISSTAISSTA-2010-ArcuriIB #analysis #effectiveness #formal method #predict #testing
Formal analysis of the effectiveness and predictability of random testing (AA, MZZI, LCB), pp. 219–230.
SEKESEKE-2009-LiuKC #adaptation #case study #testing
Dynamic Test Profiles in Adaptive Random Testing: A Case Study (HL, FCK, TYC), pp. 418–421.
ASEASE-2009-JiangZCT #adaptation #testing
Adaptive Random Test Case Prioritization (BJ, ZZ, WKC, THT), pp. 233–244.
ASEASE-2009-LinTCZ #adaptation #approach #java #source code #testing
A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs (YL, XT, YC, JZ), pp. 221–232.
SACSAC-2009-ChenHKMM #adaptation #testing
Enhanced lattice-based adaptive random testing (TYC, DH, FCK, RGM, JM), pp. 422–429.
ISSTAISSTA-2009-JiangS #automation #mining #testing
Automatic mining of functionally equivalent code fragments via random testing (LJ, ZS), pp. 81–92.
ICSMEICSM-2008-LiH #testing #using
Using random test selection to gain confidence in modified software (WL, MJH), pp. 267–276.
SEKESEKE-2008-CheonCLC #constraints #performance #testing
Integrating Random Testing with Constraints for Improved Efficiency and Diversity (YC, AC, GTL, MC), pp. 861–866.
PLDIPLDI-2008-Sen #concurrent #source code #testing
Race directed random testing of concurrent programs (KS), pp. 11–21.
ASEASE-2008-AndrewsGWX #effectiveness
Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.
ICSEICSE-2008-CiupaLOM #adaptation #named #object-oriented #testing
ARTOO: adaptive random testing for object-oriented software (IC, AL, MO, BM), pp. 71–80.
ICSTICST-2008-CiupaPLOM #object-oriented #on the #predict #testing
On the Predictability of Random Tests for Object-Oriented Software (IC, AP, AL, MO, BM), pp. 72–81.
ISSTAISSTA-2008-PachecoLB #dot-net #fault #testing
Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
VLDBVLDB-2007-BatiGHS #approach #database #search-based #testing
A genetic approach for random testing of database systems (HB, LG, SH, AS), pp. 1243–1251.
SEKESEKE-2007-ChanCT #parametricity #strict #testing
Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.
SEKESEKE-2007-ChenKL #adaptation #on the #testing
On Test Case Distributions of Adaptive Random Testing (TYC, FCK, HL), pp. 141–144.
SEKESEKE-2007-KuoSSTZ #source code #testing
Enhanced Random Testing for Programs with High Dimensional Input Domains (FCK, KYS, CaS, SFT, ZZ), pp. 135–140.
ASEASE-2007-Sen #concurrent #effectiveness #source code #testing
Effective random testing of concurrent programs (KS), pp. 323–332.
ICSEICSE-2007-PachecoLEB #generative #testing
Feedback-Directed Random Test Generation (CP, SKL, MDE, TB), pp. 75–84.
SACSAC-2007-KuoCLC #adaptation #testing
Enhancing adaptive random testing in high dimensional input domains (FCK, TYC, HL, WKC), pp. 1467–1472.
ISSTAISSTA-2007-CiupaLOM #assessment #object-oriented #testing
Experimental assessment of random testing for object-oriented software (IC, AL, MO, BM), pp. 84–94.
SEKESEKE-2006-Mayer #clustering #effectiveness #performance #testing
Efficient and Effective Random Testing based on Partitioning and Neighborhood (JM), pp. 479–484.
AdaEuropeAdaEurope-2006-ChenHZ #adaptation #clustering #testing
Adaptive Random Testing Through Iterative Partitioning (TYC, DH, ZZ), pp. 155–166.
DATEDATE-2006-KruppM #classification #functional #testing
Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.
SEKESEKE-2005-ChanCT #adaptation #reduction #testing
Adaptive Random Testing with Filtering: An Overhead Reduction Technique (KPC, TYC, DT), pp. 292–299.
SEKESEKE-2005-ChenKZ #adaptation #effectiveness #on the #testing
On the Relationships between the Distribution of Failure-Causing Inputs and Effectiveness of Adaptive Random Testing (TYC, FCK, ZZ), pp. 306–311.
PLDIPLDI-2005-GodefroidKS #automation #named #testing
DART: directed automated random testing (PG, NK, KS), pp. 213–223.
ASEASE-2005-ChenM #testing
Quasi-random testing (TYC, RGM), pp. 309–312.
ASEASE-2005-Mayer #adaptation #testing
Lattice-based adaptive random testing (JM), pp. 333–336.
FATESFATES-2005-Mayer #adaptation #locality #testing
Adaptive Random Testing by Bisection and Localization (JM), pp. 72–86.
SEFMSEFM-2004-BerghoferN #higher-order #testing
Random Testing in Isabelle/HOL (SB, TN), pp. 230–239.
AdaEuropeAdaEurope-2004-ChanCT #testing
Good Random Testing (KPC, TYC, DT), pp. 200–212.
AdaEuropeAdaEurope-2003-ChanCT #normalisation #strict #testing
Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.
DATEDATE-2003-CorsiMM #approach #classification #pseudo #testing
An Approach to the Classification of Mixed-Signal Circuits in a Pseudorandom Testing Scheme (FC, CM, GM), pp. 11178–11179.
DACDAC-2002-BartleyGB #comparison #pseudo #testing #verification
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking (MB, DG, TB), pp. 819–823.
DATEDATE-2002-FavalliD #approach #design #generative #pseudo
An Evolutionary Approach to the Design of On-Chip Pseudorandom Test Pattern Generators (MF, MD), p. 1122.
ICFPICFP-2000-ClaessenH #haskell #lightweight #named #quickcheck #source code #testing
QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
SEKESEKE-1996-JamoussiB #generative #monte carlo #performance #testing
Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions (AJ, FBB), pp. 17–24.
DATEEDAC-1994-Su #bound #testing
Random Testing of Interconnects in A Boundary Scan Environment (CS), pp. 226–231.
DACDAC-1992-MajumdarS #fault #on the #testing
On the Distribution of Fault Coverage and Test length in Random Testing of Combinational Circuits (AM, SS), pp. 341–346.
DACDAC-1987-Wunderlich #on the #testing
On Computing Optimized Input Probabilities for Random Tests (HJW), pp. 392–398.
DACDAC-1984-Lieberherr84a #testing
Parameterized random testing (KJL), pp. 510–516.
ICSEICSE-1981-DuranN #testing
A Report on Random Testing (JWD, SCN), pp. 179–183.
DACDAC-1975-SchulerUBB #concurrent #generative #logic #simulation #testing #using
Random test generation using concurrent logic simulation (DMS, EGU, TEB, SPB), pp. 261–267.
STOCSTOC-1972-Schnorr #complexity #effectiveness #process #testing
The Process Complexity and Effective Random Tests (CPS), pp. 168–176.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.