An empirical study of the reliability of UNIX utilities
Communications of the ACM
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
ClassBench: a framework for automated class testing
Software—Practice & Experience
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Test Driven Development: By Example
Test Driven Development: By Example
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
An Empirical Study of the Effects of Minimization on the Fault Detection Capabilities of Test Suites
ICSM '98 Proceedings of the International Conference on Software Maintenance
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
JCrasher: an automatic robustness tester for Java
Software—Practice & Experience
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Proceedings of the 27th international conference on Software engineering
An overview of JML tools and applications
International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Parameterized unit tests with unit meister
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Minimization of Randomized Unit Test Cases
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Experimental assessment of random testing for object-oriented software
Proceedings of the 2007 international symposium on Software testing and analysis
Nighthawk: a two-level genetic-random unit test data generator
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
ARTOO: adaptive random testing for object-oriented software
Proceedings of the 30th international conference on Software engineering
Functional testing for students: a practical approach
ACM SIGCSE Bulletin
Random Test Run Length and Effectiveness
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
GenUTest: a unit test and mock aspect generation tool
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
A uniform random test data generator for path testing
Journal of Systems and Software
Contract-driven testing of javascript code
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Generating parameterized unit tests
Proceedings of the 2011 International Symposium on Software Testing and Analysis
(Quickly) testing the tester via path coverage
WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Sound empirical evidence in software testing
Proceedings of the 34th International Conference on Software Engineering
PROFES'12 Proceedings of the 13th international conference on Product-Focused Software Process Improvement
The search for the laws of automatic random testing
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
There are several problem areas that must be addressed when applying randomization to unit testing. As yet no general, fully automated solution that works for all units has been proposed. We therefore have developed RUTE-J, a Java package intended to help programmers do randomized unit testing in Java. In this paper, we describe RUTE-J and illustrate how it supports the development of per-unit solutions for the problems of randomized unit testing. We report on an experiment in which we applied RUTE-J to the standard Java TreeMap class, measuring the efficiency and effectiveness of the technique. We also illustrate the use of randomized testing in experimentation, by adapting RUTE-J so that it generates randomized minimal covering test suites, and measuring the effectiveness of the test suites generated.