Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Teaching
Open Positions
Internships/Assistants/Theses
Model-Checking Driven Security Testing of Web-Based Applications
A. Armando
,
R. Carbone
,
L. Compagna
,
K. Li
,
G. Pellegrino
April 2010
Cite
DOI
Type
Conference paper
Publication
2010 Third International Conference on Software Testing, Verification, and Validation Workshops
"Program Testing;program Verification;Web-Based Application;model Checking;security Testing"
Cite
×