2774 search results - page 75 / 555 » Query-Driven Program Testing |
ECOOP
2000
Springer
14 years 2 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
ISSRE
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
HASE
1998
IEEE
14 years 2 months ago
1998
IEEE
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...