The Turing programming language
Communications of the ACM
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Some experience with automated aids to the design of large-scale reliable software
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
Automatic generation of random self-checking test cases
IBM Systems Journal
Automated Test Generation and Static Analysis
Programming and Computing Software
Harnessing curiosity to increase correctness in end-user programming
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Data Generation for Path Testing
Software Quality Control
Improving network applications security: a new heuristic to generate stress testing data
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Software testing using imprecise OCL constraints as oracles
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Detecting buffer overflow via automatic test input data generation
Computers and Operations Research
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Computers and Operations Research
A probabilistic alternative to regression suites
Theoretical Computer Science
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
Models in Software Engineering
Empirical evaluation of a nesting testability transformation for evolutionary testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
The life and death of statically detected vulnerabilities: An empirical study
Information and Software Technology
Test-data generation guided by static defect detection
Journal of Computer Science and Technology
Pex: white box test generation for .NET
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Testing techniques in software engineering
Testing techniques in software engineering
A multiple-population genetic algorithm for branch coverage test data generation
Software Quality Control
Heuristic search-based approach for automated test data generation: a survey
International Journal of Bio-Inspired Computation
Artificial life and cellular automata based automated test case generator
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Assertions are recognized as a powerful tool for automatic run time detection of software errors. However, existing testing methods do not use assertions to generate test cases. We present a novel approach of automated test data generation in which assertions are used to generate test cases. In this approach the goal is to identify test cases on which an assertion is violated. If such a test is found then this test uncovers an error in the program. The problem of finding program input on which an assertion is violated may be reduced to the problem of finding program input on which a selected statement is executed. As a result, the existing methods of automated test data generation for white box testing may be used to generate tests to violate assertions. The experiments have shown that this approach may significantly improve the chances of finding software errors as compared to the existing methods of test generation.