Sciweavers

3481 search results - page 76 / 697
» A New Approach to Component Testing
Sort
View
ICCS
2004
Springer
15 years 3 months ago
An Exportable CGIF Module from the CP Environment: A Pragmatic Approach
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
Heather D. Pfeiffer
ICDAR
2003
IEEE
15 years 3 months ago
A Multiscale Approach to Restoring Scanned Color Document Images with Show-Through Effects
This paper describes a new approach to restoring scanned color document images where the backside image shows through the paper sheet. A new framework is presented for correcting ...
Hirobumi Nishida, Takeshi Suzuki
CBMS
2004
IEEE
15 years 1 months ago
Toward a Systems Biology Software Toolkit
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
Donald J. Johann, Michael D. McGuigan, Stanimire T...
ASE
2005
103views more  ASE 2005»
14 years 9 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
PASTE
2004
ACM
15 years 3 months ago
Mock object creation for test factoring
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
David Saff, Michael D. Ernst