On validation of ATL transformation rules by . . .

Authors: Fabian Büttner, Jordi Cabot, Martin Gogolla

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://hal-mines-nantes.archives-ouvertes.fr/docs/00/69/10/62/PDF/Buettner2011MoDeVVa.pdf.

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Gary Wassermann, Zhendong Su

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://wwwcsif.cs.ucdavis.edu/~wassermg/research/pldi07.pdf.

Subject Terms: 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

File Description: 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

Availability: 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 ∗

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ucdavis.edu/~su/publications/pldi07.pdf.

Subject Terms: 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

File Description: 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

Availability: 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 ∗

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://pag.lcs.mit.edu/reading-group/wasserman07injection.pdf.

Subject Terms: 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

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.848
http://pag.lcs.mit.edu/reading-group/wasserman07injection.pdf