Amanote Research
Register
Sign In
Automated Verification and Test Case Generation for Input Validation
doi 10.1145/1138929.1138936
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
Hui Liu
Hee Beng Kuan Tan
Publisher
ACM Press
Related search
Rapid, Automated, Test, Verification and Validation for the CubeSats
International Journal of Space Science and Engineering
Control
Systems Engineering
Space
Planetary Science
Computer Science Applications
Aerospace Engineering
Capture-Based Automated Test Input Generation
Test Verification and Validation for Molecular Diagnostic Assays
Archives of Pathology and Laboratory Medicine
Medicine
Forensic Medicine
Pathology
Medical Laboratory Technology
Automated Test Case Generation Tool Based on Pycparser
International Journal of Research in Advent Technology
Automated Multi-Agent Simulation Generation and Validation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
VeriAbs: Verification by Abstraction and Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Invariant Generation for the Verification of Real-Time Systems
JSEFT: Automated Javascript Unit Test Generation
Automated Test Generation for Optimizing Compilers With OpenMP Support
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
