2441 search results - page 379 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
117
click to vote
ICMT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
110
Voted
WSC
2008
15 years 6 months ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
126
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
126
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
173
click to vote
EICS
2009
ACM
15 years 1 months ago
2009
ACM
Modularization is almost the only feasible way of implementing large-scale applications. For user interfaces, interactions involving more than one module generate dependencies bet...