1926 search results - page 192 / 386 » Modeling and Model Checking Software Product Lines |
158
click to vote
DOLAP
2005
ACM
15 years 6 months ago
2005
ACM
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
128
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
145
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
160
click to vote
IWPC
2002
IEEE
15 years 9 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
169
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...