Giancarlo Pellegrino
Giancarlo Pellegrino
Research
Research group
Publications
Scienceware
Funded Projects
Teaching
Open Positions
Internships/Assistants/Theses
"Program Testing;program Verification;Web-Based Application;model Checking;security Testing"
Model-Checking Driven Security Testing of Web-Based Applications
Cite
×