Sciweavers

4 search results - page 1 / 1
» Interpreting a Successful Testing Process: Risk and Actual C...
Sort
View
TASE
2009
IEEE
13 years 12 months ago
Interpreting a Successful Testing Process: Risk and Actual Coverage
Testing is inherently incomplete; no test suite will ever be able to test all possible usage scenarios of a system. It is therefore vital to assess the implication of a system pas...
Mariëlle Stoelinga, Mark Timmer
ICST
2009
IEEE
13 years 11 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy...
OOPSLA
2007
Springer
13 years 11 months ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu
BMCBI
2005
103views more  BMCBI 2005»
13 years 5 months ago
SeqDoC: rapid SNP and mutation detection by direct comparison of DNA sequence chromatograms
Background: This paper describes SeqDoC, a simple, web-based tool to carry out direct comparison of ABI sequence chromatograms. This allows the rapid identification of single nucl...
Mark L. Crowe