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
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated test data generation using an iterative relaxation method
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Interprocedural control dependence
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Increased Software Reliability Through Input Validation Analysis and Testing
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications
ICSM '03 Proceedings of the International Conference on Software Maintenance
The Art of Software Testing
On the Testing of Particular Input Conditions
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Bypass Testing of Web Applications
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
IEEE Transactions on Software Engineering
Automated verification and test case generation for input validation
Proceedings of the 2006 international workshop on Automation of software test
EXE: automatically generating inputs of death
Proceedings of the 13th ACM conference on Computer and communications security
Input validation analysis and testing
Empirical Software Engineering
An Automatic Generator for Compiler Testing
IEEE Transactions on Software Engineering
Testing input validation in Web applications through automated model recovery
Journal of Systems and Software
Event-based input validation using design-by-contract patterns
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Checking enforcement of integrity constraints in database applications based on code patterns
Journal of Systems and Software
Automated removal of cross site scripting vulnerabilities in web applications
Information and Software Technology
An empirical evaluation of several test-a-few strategies for testing particular conditions
Software—Practice & Experience
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Component survivability at runtime for mission-critical distributed systems
The Journal of Supercomputing
Hi-index | 0.00 |
Input validation is the enforcement built in software systems to ensure that only valid input is accepted to raise external effects. It is essential and very important to a large class of systems and usually forms a major part of a data-intensive system. Most existing methods for input validation testing are specification-based. However, to test input validation more accurately, a code-based method is also required. In this paper, we propose an approach to extract path partition and input conditions from code for testing input validation. The path partition can be used to design white-box test cases for testing input validation. It can also be used to measure the coverage of input validation testing. The valid and invalid input conditions recovered can be used to check against the specifications and aid the test suite design in black-box testing. We have also evaluated the proposed method through experimental study.