861 search results - page 78 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
124
click to vote
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
122
click to vote
PPPJ
2003
ACM
15 years 8 months ago
2003
ACM
We describe a system to improve the quality of feedback provided to an Introductory Programming course. The system uses web technology to create a graphical tool that the tutors c...
141
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
121
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The use of machine learning techniques to automatically analyse data for information is becoming increasingly widespread. In this paper we examine the use of Genetic Programming a...
125
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...