5832 search results - page 527 / 1167 » Software complexity and maintainability |
301
Voted
ISSTA
2004
ACM
16 years 14 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
165
Voted
COMPSAC
2003
IEEE
16 years 10 days ago
2003
IEEE
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
175
click to vote
ATAL
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
194
click to vote
EDBT
2010
ACM
16 years 5 days ago
2010
ACM
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
182
click to vote
DATE
2002
IEEE
16 years 18 hour ago
2002
IEEE
In this paper, we analyze the use of UML as a starting point to go from design issues to end of production testing of complex embedded systems. The first point is the analysis of ...