3736 search results - page 657 / 748 » Generative Programming |
118
click to vote
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...
125
click to vote
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
127
Voted
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
142
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
156
click to vote
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...