Sciweavers

1414 search results - page 201 / 283
» Automated Metamorphic Testing
Sort
View
HCI
2009
13 years 5 months ago
Using Activity Descriptions to Generate User Interfaces for ERP Software
Delivering tailor-made ERP software requires automation of screen and printed report creation to be cost effective. Screens generated directly from data structures tend to have poo...
Timothy O'Hear, Yassin Boudjenane
ICRA
2009
IEEE
158views Robotics» more  ICRA 2009»
13 years 5 months ago
MMM-classification of 3D range data
This paper presents a method for accurately segmenting and classifying 3D range data into particular object classes. Object classification of input images is necessary for applicat...
Anuraag Agrawal, Atsushi Nakazawa, Haruo Takemura
IJEB
2010
81views more  IJEB 2010»
13 years 5 months ago
Investigating the functionality and performance of online shopping bots for electronic commerce: a follow-up study
: Shopping bots are automated software applications that allow consumers to easily search for and compare product prices from online retailers. In a previous project, researchers i...
Alexander Serenko, James Hayes
TGIS
2010
86views more  TGIS 2010»
13 years 2 months ago
A Road Network Selection Process Based on Data Enrichment and Structure Detection
The presented paper deals with a generic process for road network selection based on data enrichment and structure detection. The first step is to detect significant structures and...
Guillaume Touya
NFM
2011
335views Formal Methods» more  NFM 2011»
13 years 2 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...