13090 search results - page 2508 / 2618 » Usable artificial intelligence |
173
click to vote
TSE
2010
15 years 5 days ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
272
click to vote
TSE
2010
15 years 5 days ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
168
click to vote
TSE
2010
15 years 5 days ago
2010
Several recent studies indicate that many industrial applications exhibit poor quality in the design of exception-handling. To improve the quality of error-handling, we need to und...
166
click to vote
TSE
2010
15 years 5 days ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
164
click to vote
TSE
2010
15 years 5 days ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...