3792 search results - page 690 / 759 » Techniques for Trusted Software Engineering |
107
click to vote
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
127
Voted
FM
1997
Springer
15 years 4 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
126
click to vote
KI
2002
Springer
15 years 6 days ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
150
Voted
SIMULATION
2010
14 years 7 months ago
2010
: The publications that relate to the application of simulation to healthcare have steadily increased over the years. These publications are scattered amongst various journals that...
201
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...