712 search results - page 34 / 143 » Software debugging, testing, and verification |
120
click to vote
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
159
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
109
click to vote
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...
117
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
100
Voted
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...