8347 search results - page 147 / 1670 » Performance testing of software systems |
ADAEUROPE
2001
Springer
14 years 2 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
CISSE
2008
Springer
13 years 11 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...
ICSE
2007
IEEE-ACM
14 years 3 months ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
MR
2007
13 years 9 months ago
2007
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...