QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
QSIC
2003
IEEE
14 years 5 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...