126 search results - page 11 / 26 » Specifying and Generating Test Cases Using Observer Automata |
107
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
125
Voted
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
84
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
118
Voted
FAC
2008
15 years 13 days ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...