Software requirements: analysis and specification
Software requirements: analysis and specification
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
The craft of software testing: subsystem testing including object-based and object-oriented testing
The craft of software testing: subsystem testing including object-based and object-oriented testing
Generating Test Data with Enhanced Context-Free Grammars
IEEE Software
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Input validation testing: a system-level, early lifecycle technique
Input validation testing: a system-level, early lifecycle technique
An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering
Automatic generation of random self-checking test cases
IBM Systems Journal
Automatic generation of test cases
IBM Systems Journal
Sleuth: a domain based testing tool
ITC'94 Proceedings of the 1994 international conference on Test
Automated verification and test case generation for input validation
Proceedings of the 2006 international workshop on Automation of software test
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
An approach for the maintenance of input validation
Information and Software Technology
Covering code behavior on input validation in functional testing
Information and Software Technology
Event-based input validation using design-by-contract patterns
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
| Hi-index | 0.00 |
The Input Validation Testing (IVT) technique has been developed to address the problem of statically analyzing input command syntax as defined in English textual interface and requirements specifications and then generating test cases for input validation testing. The technique does not require design or code, so it can be applied early in the lifecycle. A proof-of-concept tool has been implemented and validation has been performed. Empirical validation on industrial software shows that the IVT method found more requirement specification defects than senior testers, generated test cases with higher syntactic coverage than senior testers, and found defects that were not found by the test cases of senior testers. Additionally, the tool performed at a much-reduced cost.