Sciweavers

1812 search results - page 136 / 363
» Test Early, Test Often
Sort
View
CORR
2011
Springer
265views Education» more  CORR 2011»
14 years 7 months ago
Signal Processing in Large Systems: a New Paradigm
—For a long time, signal processing applications, and most particularly detection and parameter estimation methods, have relied on the limiting behaviour of test statistics and e...
Romain Couillet, Mérouane Debbah
EDOC
2011
IEEE
14 years 3 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 26 days ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
143
Voted
ISSTA
2009
ACM
15 years 10 months ago
Advanced code coverage analysis using substring holes
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pel...
ICST
2008
IEEE
15 years 10 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim