900 search results - page 49 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
121
click to vote
ASM
2005
ASM
15 years 7 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
109
click to vote
ADAEUROPE
2001
Springer
15 years 5 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...
110
click to vote
FORTEST
2008
15 years 2 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
100
click to vote
MMS
2008
15 years 1 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
130
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Software fails and fixing it is expensive. Research in failure prediction has been highly successful at modeling software failures. Few models, however, consider the key cause of ...