Sciweavers

300 search results - page 41 / 60
» Automated debugging in eclipse
Sort
View
SAINT
2006
IEEE
14 years 3 months ago
Towards an Enterprise Location Service
Radio Frequency Identification (RFID) technology has a lot of potential to automate business processes and improve visibility across the supply chain. To realize the full potenti...
Christof Roduner, Christian Floerkemeier
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
14 years 3 months ago
Search-based mutation testing for Simulink models
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
Yuan Zhan, John A. Clark
ITC
2003
IEEE
158views Hardware» more  ITC 2003»
14 years 2 months ago
Extraction Error Diagnosis and Correction in High-Performance Designs
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikara...
KBSE
2003
IEEE
14 years 2 months ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
FASE
2009
Springer
14 years 2 months ago
Algorithms for Automatically Computing the Causal Paths of Failures
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
William N. Sumner, Xiangyu Zhang