Automated verification and test case generation for input validation

Authors: Hui Liu, Hee Beng, Kuan Tan

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.irisa.fr/lande/lande/icse-proceedings/ast/p29.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification − validation, D.2.5 [Software Engineering, Testing and Debugging − testing tools. General Terms Verification Keywords Input validation, software verification, software testing, empirical- based

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.652.8668

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.652.8668
http://www.irisa.fr/lande/lande/icse-proceedings/ast/p29.pdf