1938 search results - page 59 / 388 » Dependable Software |
109
click to vote
CC
2003
Springer
15 years 7 months ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...
126
click to vote
ADBIS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
120
Voted
MSR
2006
ACM
15 years 8 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
107
click to vote
TSE
2010
15 years 26 days ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
173
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of tes...