Sciweavers

495 search results - page 18 / 99
» An Approach to Integration Testing Based on Data Flow Specif...
Sort
View
KBSE
2003
IEEE
15 years 9 months ago
Tool-Assisted Unit Test Selection Based on Operational Violations
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
Tao Xie, David Notkin
APVIS
2008
15 years 5 months ago
Finite-Time Transport Structures of Flow Fields
Modern experimental and computational fluid mechanics are increasingly concerned with the structure nature of fluid motion. Recent research has highlighted the analysis of one tra...
Kuangyu Shi, Holger Theisel, Tino Weinkauf, Hans-C...
134
Voted
DSVIS
1994
Springer
15 years 7 months ago
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
François Bodart, Anne-Marie Hennebert, Isab...
141
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
129
Voted
ECCV
2006
Springer
16 years 5 months ago
An Integral Solution to Surface Evolution PDEs Via Geo-cuts
We introduce a new approach to modelling gradient flows of contours and surfaces. While standard variational methods (e.g. level sets) compute local interface motion in a different...
Yuri Boykov, Vladimir Kolmogorov, Daniel Cremers, ...