The hacker's dictionary: a guide to the world of computer wizards
The hacker's dictionary: a guide to the world of computer wizards
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Handbook of software reliability engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Operational Profiles in Software-Reliability Engineering
IEEE Software
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Comparing Partition and Random Testing via Majorization and Schur Functions
IEEE Transactions on Software Engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
A genetic approach for random testing of database systems
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Random testing and model checking: building a common framework for nondeterministic exploration
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
TestFul: automatic unit-test generation for Java classes
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Writing and using program specifications
Proceedings of the FSE/SDP workshop on Future of software engineering research
Is branch coverage a good measure of testing effectiveness?
Empirical Software Engineering and Verification
CarFast: achieving higher statement coverage faster
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Comparative language fuzz testing: programming languages vs. fat fingers
Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools
A keyword-driven approach for generating OWL DL conformance test data
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
In some circumstances, random testing methods are more practical than any alternative, because information is lacking to make reasonable systematic test-point choices. This paper examines some situations in which random testing is indicated and discusses issues and difficulties with conducting the random tests.