8347 search results - page 364 / 1670 » Performance testing of software systems |
215
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...
136
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
143
click to vote
SIGSOFT
1996
ACM
15 years 9 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
117
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
134
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...