Sciweavers

182 search results - page 23 / 37
» Automatic patch generation by learning correct code
Sort
View
ACSAC
2008
IEEE
15 years 4 months ago
Execution Trace-Driven Automated Attack Signature Generation
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
Susanta Nanda, Tzi-cker Chiueh
77
Voted
FM
2005
Springer
114views Formal Methods» more  FM 2005»
15 years 3 months ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
70
Voted
CVPR
2007
IEEE
16 years 4 days ago
Multiple Instance Learning of Pulmonary Embolism Detection with Geodesic Distance along Vascular Structure
We propose a novel classification approach for automatically detecting pulmonary embolism (PE) from computedtomography-angiography images. Unlike most existing approaches that req...
Jinbo Bi, Jianming Liang
IWPC
2002
IEEE
15 years 3 months ago
Traceability Recovery in RAD Software Systems
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
Massimiliano Di Penta, Sara Gradara, Giuliano Anto...
CISSE
2008
Springer
15 years 3 days ago
Testing Grammars For Top-Down Parsers
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
A. M. Paracha, F. Franek