Sciweavers

10396 search results - page 1709 / 2080
» Testing Web Applications
Sort
View
ISSTA
2009
ACM
16 years 1 months ago
Identifying semantic differences in AspectJ programs
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
Martin Th Görg, Jianjun Zhao
ICRA
2008
IEEE
120views Robotics» more  ICRA 2008»
16 years 1 months ago
Operation of robotic science boats using the telesupervised adaptive ocean sensor fleet system
– This paper describes a multi-robot science exploration software architecture and system called the Telesupervised Adaptive Ocean Sensor Fleet (TAOSF). TAOSF supervises and coor...
Gregg Podnar, John M. Dolan, Alberto Elfes, S. B. ...
KBSE
2007
IEEE
16 years 1 months ago
Assertion-based repair of complex data structures
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sar...
KBSE
2007
IEEE
16 years 1 months ago
Context-aware statistical debugging: from bug predictors to faulty control flow paths
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
Lingxiao Jiang, Zhendong Su
SP
2007
IEEE
108views Security Privacy» more  SP 2007»
16 years 29 days ago
Trojan Detection using IC Fingerprinting
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...
Dakshi Agrawal, Selçuk Baktir, Deniz Karako...
« Prev « First page 1709 / 2080 Last » Next »