Sciweavers

3736 search results - page 23 / 748
» Generative Programming
Sort
View
103
Voted
KBSE
2009
IEEE
15 years 10 months ago
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...
Fang Yu, Muath Alkhalaf, Tevfik Bultan
83
Voted
ERSHOV
2009
Springer
15 years 10 months ago
Planet Map Generation by Tetrahedral Subdivision
Torben Æ. Mogensen
101
Voted
CP
2005
Springer
15 years 9 months ago
Test Instance Generation for MAX 2SAT
Mistuo Motoki
108
Voted
PPDP
2005
Springer
15 years 9 months ago
Nominal rewriting with name generation: abstraction vs. locality
Maribel Fernández, Murdoch Gabbay