Tag #random testing
65 papers:
OOPSLA-2019-OzkanMO #distributed #testing- Trace aware random testing for distributed systems (BKO, RM, SO), p. 29.
POPL-2018-MajumdarN #debugging #effectiveness #question #testing #why- Why is random testing effective for partition tolerance bugs? (RM, FN), p. 24.
ICST-2018-HodovanK #composition #framework #named #open source #testing- Fuzzinator: An Open-Source Modular Random Testing Framework (RH, ÁK0), pp. 416–421.
- ICST-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.
ASE-2015-MaAZSGR #named #testing- GRT: Program-Analysis-Guided Random Testing (T) (LM, CA, CZ, HS, JG, RR), pp. 212–223.
ISSTA-2015-YatohSIH #generative #testing- Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
SEKE-2014-HirasakiKT #interactive #testing- Applying Random Testing to Constrained Interaction Testing (YH, HK, TT), pp. 193–198.
ICFP-2013-St-AmourT #case study #experience #testing- Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
PPDP-2013-Holdermans #data type #functional #guidelines #testing- Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
SAC-2013-FuriaMOTW #automation #testing- The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
- SAC-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.
ICSE-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.
- ICST-2012-Oriol #evaluation #fault #testing
- Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.
ICTSS-2011-Gaudel #testing- Counting for Random Testing (MCG), pp. 1–8.
- ICTSS-2011-SchwarzlAW #composition #testing #using
- Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
- ISSTA-2011-ArcuriB #adaptation #effectiveness #question #testing
- Adaptive random testing: an illusion of effectiveness? (AA, LCB), pp. 265–275.
TAP-2011-HeamM #approach #automaton #testing #using- A Random Testing Approach Using Pushdown Automata (PCH, CM), pp. 119–133.
- OOPSLA-2010-KleinFF #higher-order #source code #testing
- Random testing for higher-order, stateful programs (CK, MF, RBF), pp. 555–566.
- ISSTA-2010-ArcuriIB #analysis #effectiveness #formal method #predict #testing
- Formal analysis of the effectiveness and predictability of random testing (AA, MZZI, LCB), pp. 219–230.
- SEKE-2009-LiuKC #adaptation #case study #testing
- Dynamic Test Profiles in Adaptive Random Testing: A Case Study (HL, FCK, TYC), pp. 418–421.
- ASE-2009-JiangZCT #adaptation #testing
- Adaptive Random Test Case Prioritization (BJ, ZZ, WKC, THT), pp. 233–244.
- ASE-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.
- SAC-2009-ChenHKMM #adaptation #testing
- Enhanced lattice-based adaptive random testing (TYC, DH, FCK, RGM, JM), pp. 422–429.
- ISSTA-2009-JiangS #automation #mining #testing
- Automatic mining of functionally equivalent code fragments via random testing (LJ, ZS), pp. 81–92.
ICSM-2008-LiH #testing #using- Using random test selection to gain confidence in modified software (WL, MJH), pp. 267–276.
- SEKE-2008-CheonCLC #constraints #performance #testing
- Integrating Random Testing with Constraints for Improved Efficiency and Diversity (YC, AC, GTL, MC), pp. 861–866.
PLDI-2008-Sen #concurrent #source code #testing- Race directed random testing of concurrent programs (KS), pp. 11–21.
- ASE-2008-AndrewsGWX #effectiveness
- Random Test Run Length and Effectiveness (JHA, AG, MW, RGX), pp. 19–28.
- ICSE-2008-CiupaLOM #adaptation #named #object-oriented #testing
- ARTOO: adaptive random testing for object-oriented software (IC, AL, MO, BM), pp. 71–80.
- ICST-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.
- ISSTA-2008-PachecoLB #dot-net #fault #testing
- Finding errors in .net with feedback-directed random testing (CP, SKL, TB), pp. 87–96.
VLDB-2007-BatiGHS #approach #database #search-based #testing- A genetic approach for random testing of database systems (HB, LG, SH, AS), pp. 1243–1251.
- SEKE-2007-ChanCT #parametricity #strict #testing
- Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter (KPC, TYC, DT), pp. 163–166.
- SEKE-2007-ChenKL #adaptation #on the #testing
- On Test Case Distributions of Adaptive Random Testing (TYC, FCK, HL), pp. 141–144.
- SEKE-2007-KuoSSTZ #source code #testing
- Enhanced Random Testing for Programs with High Dimensional Input Domains (FCK, KYS, CaS, SFT, ZZ), pp. 135–140.
- ASE-2007-Sen #concurrent #effectiveness #source code #testing
- Effective random testing of concurrent programs (KS), pp. 323–332.
- ICSE-2007-PachecoLEB #generative #testing
- Feedback-Directed Random Test Generation (CP, SKL, MDE, TB), pp. 75–84.
- SAC-2007-KuoCLC #adaptation #testing
- Enhancing adaptive random testing in high dimensional input domains (FCK, TYC, HL, WKC), pp. 1467–1472.
- ISSTA-2007-CiupaLOM #assessment #object-oriented #testing
- Experimental assessment of random testing for object-oriented software (IC, AL, MO, BM), pp. 84–94.
- SEKE-2006-Mayer #clustering #effectiveness #performance #testing
- Efficient and Effective Random Testing based on Partitioning and Neighborhood (JM), pp. 479–484.
AdaEurope-2006-ChenHZ #adaptation #clustering #testing- Adaptive Random Testing Through Iterative Partitioning (TYC, DH, ZZ), pp. 155–166.
DATE-2006-KruppM #classification #functional #testing- Classification trees for random tests and functional coverage (AK, WM), pp. 1031–1032.
- SEKE-2005-ChanCT #adaptation #reduction #testing
- Adaptive Random Testing with Filtering: An Overhead Reduction Technique (KPC, TYC, DT), pp. 292–299.
- SEKE-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.
- PLDI-2005-GodefroidKS #automation #named #testing
- DART: directed automated random testing (PG, NK, KS), pp. 213–223.
- ASE-2005-ChenM #testing
- Quasi-random testing (TYC, RGM), pp. 309–312.
- ASE-2005-Mayer #adaptation #testing
- Lattice-based adaptive random testing (JM), pp. 333–336.
FATES-2005-Mayer #adaptation #locality #testing- Adaptive Random Testing by Bisection and Localization (JM), pp. 72–86.
SEFM-2004-BerghoferN #higher-order #testing- Random Testing in Isabelle/HOL (SB, TN), pp. 230–239.
- AdaEurope-2004-ChanCT #testing
- Good Random Testing (KPC, TYC, DT), pp. 200–212.
- AdaEurope-2003-ChanCT #normalisation #strict #testing
- Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.
- DATE-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.
DAC-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.
- DATE-2002-FavalliD #approach #design #generative #pseudo
- An Evolutionary Approach to the Design of On-Chip Pseudorandom Test Pattern Generators (MF, MD), p. 1122.
- ICFP-2000-ClaessenH #haskell #lightweight #named #quickcheck #source code #testing
- QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
- SEKE-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.
- EDAC-1994-Su #bound #testing
- Random Testing of Interconnects in A Boundary Scan Environment (CS), pp. 226–231.
- DAC-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.
- DAC-1987-Wunderlich #on the #testing
- On Computing Optimized Input Probabilities for Random Tests (HJW), pp. 392–398.
- DAC-1984-Lieberherr84a #testing
- Parameterized random testing (KJL), pp. 510–516.
- ICSE-1981-DuranN #testing
- A Report on Random Testing (JWD, SCN), pp. 179–183.
- DAC-1975-SchulerUBB #concurrent #generative #logic #simulation #testing #using
- Random test generation using concurrent logic simulation (DMS, EGU, TEB, SPB), pp. 261–267.
STOC-1972-Schnorr #complexity #effectiveness #process #testing- The Process Complexity and Effective Random Tests (CPS), pp. 168–176.
