3424 search results - page 51 / 685 » Automated Testing of Classes |
130
Voted
SERP
2007
15 years 4 months ago
2007
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
123
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
147
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
107
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
131
Voted
DLOG
2009
15 years 12 days ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...