On validation of ATL transformation rules by . . .

Συγγραφείς: Fabian Büttner, Jordi Cabot, Martin Gogolla

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://hal-mines-nantes.archives-ouvertes.fr/docs/00/69/10/62/PDF/Buettner2011MoDeVVa.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Validation General Terms Languages, verification Keywords Validation of model transformations, ATL, transformation models

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.635.2303
http://hal-mines-nantes.archives-ouvertes.fr/docs/00/69/10/62/PDF/Buettner2011MoDeVVa.pdf

Sound and Precise Analysis of Web Applications for Injection Vulnerabilities

Συγγραφείς: Gary Wassermann, Zhendong Su

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://wwwcsif.cs.ucdavis.edu/~wassermg/research/pldi07.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.4964; http://wwwcsif.cs.ucdavis.edu/~wassermg/research/pldi07.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.4964
http://wwwcsif.cs.ucdavis.edu/~wassermg/research/pldi07.pdf

Abstract Sound and Precise Analysis of Web Applications for Injection Vulnerabilities ∗

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.ucdavis.edu/~su/publications/pldi07.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6863; http://www.cs.ucdavis.edu/~su/publications/pldi07.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6863
http://www.cs.ucdavis.edu/~su/publications/pldi07.pdf

Abstract Sound and Precise Analysis of Web Applications for Injection Vulnerabilities ∗

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://pag.lcs.mit.edu/reading-group/wasserman07injection.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Validation General Terms Languages, Security, Verification Keywords Static Analysis, String Analysis, Web Applications

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.848
http://pag.lcs.mit.edu/reading-group/wasserman07injection.pdf