4719 search results - page 546 / 944 » Newtonian program analysis |
328
Voted
CSMR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
186
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
176
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
286
Voted
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
169
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Difficulties understanding update paths while understanding code cause developers to waste time and insert bugs. A detailed investigation of these difficulties suggests that a wid...