712 search results - page 64 / 143 » Software debugging, testing, and verification |
102
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
145
click to vote
ASWEC
2009
IEEE
15 years 14 days ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
SERP
2003
15 years 4 months ago
2003
In this paper we present a new approach to writing Makefiles and a system called maker which helps in this process. Our main goals are: ease the process of writing user Makefiles...
101
Voted
ICECCS
2002
IEEE
15 years 7 months ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
106
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...