๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Static detection of cross-site scripting vulnerabilities

โœ Scribed by Wassermann, Gary; Su, Zhendong

Book ID
115496532
Publisher
ACM Press
Year
2008
Tongue
English
Weight
185 KB
Volume
0
Category
Article
ISBN
1605580791

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 13th international confer
[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Symbolic mining of temporal specifications
โœ Gabel, Mark; Su, Zhendong ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› ACM Press ๐ŸŒ English โš– 446 KB

Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the form of temporal properties that prescribe proper usage of components of a software system. Recent work has focused on the