1767 search results - page 114 / 354 » Open Source Ecology |
162
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
253
click to vote
ICCSA
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
169
click to vote
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
119
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
Breakpoints are perhaps the quintessential feature of a debugger: they allow a developer to stop time and study the program state. Breakpoints are typically specified by selectin...
121
Voted
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...