35 search results - page 7 / 7 » A survey of testing techniques for object-oriented systems |
XPU
2005
Springer
13 years 11 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
DICS
2006
13 years 7 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
CISS
2008
IEEE
13 years 12 months ago
2008
IEEE
We survey our work on adaptive multiresolution (MR) approaches to the classification of biological images. The system adds MR decomposition in front of a generic classifier cons...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
FMICS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...