4079 search results - page 474 / 816 » Differential Testing for Software |
135
Voted
USS
2008
15 years 7 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
141
click to vote
ADAEUROPE
2007
Springer
15 years 7 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
140
click to vote
LREC
2008
15 years 6 months ago
2008
In this paper we discuss how linguistic and geographic distances can be related using a 3D visualization. We will convert linguistic data for locations along the German-Dutch bord...
146
click to vote
AVI
2004
15 years 6 months ago
2004
Scene-Driver is a software toolkit for the reuse of broadcast animation content to provide new engaging experiences for children. It has been developed and tested using content fr...
142
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...