3544 search results - page 200 / 709 » Software Testing |
168
click to vote
FATES
2005
Springer
16 years 2 hour ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
137
click to vote
IEAAIE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
148
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
195
click to vote
APAQS
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...
192
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...