1112 search results - page 79 / 223 » Executing Abstract Test Cases |
128
click to vote
ESOP
2010
Springer
16 years 13 days 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...
123
click to vote
SPLC
2010
15 years 1 months ago
2010
Abstract. Software Product Line (SPL) engineering offers several advantages in the development of families of software products. There is still a need, however, for better underst...
124
click to vote
JITECH
2007
15 years 3 months ago
2007
This case describes the implementation and subsequent failure of an innovative system installed in the bars of Alvalade XXI, the recently built football stadium in Lisbon, Portuga...
172
click to vote
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
142
click to vote
FORTEST
2008
15 years 4 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...