8347 search results - page 234 / 1670 » Performance testing of software systems |
124
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
215
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
140
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
136
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
129
Voted
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...