5159 search results - page 67 / 1032 » Structural Testing of Executables |
98
Voted
TOPNOC
2008
15 years 2 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
127
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
117
Voted
DFT
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper presents the first implementation of Built-In Self-Test (BIST) of Field Programmable Gate Arrays (FPGAs) using a soft core embedded processor for reconfiguration of the...
129
click to vote
PTS
2003
15 years 3 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...