297 search results - page 1 / 60 » Model-Based Tests of Truisms |
KBSE
2002
IEEE
13 years 9 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
ECBS
2010
IEEE
13 years 2 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
JAIR
2010
13 years 3 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
ISSRE
2010
IEEE
13 years 3 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...