2441 search results - page 262 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
132
click to vote
CAIP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we introduce a new method for image segmentation. It is based on a height map generated from the input image. The height map characterizes the image content...
181
click to vote
ASE
2006
15 years 5 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
137
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
160
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
146
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...