300 search results - page 46 / 60 » Automated debugging in eclipse |
147
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
143
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
141
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
219
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
160
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...