1463 search results - page 162 / 293 » Software engineering practices in Singapore |
147
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
175
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
163
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
185
click to vote
WORM
2003
15 years 8 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
159
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...