Sciweavers

3792 search results - page 322 / 759
» Techniques for Trusted Software Engineering
Sort
View
COMPSAC
2008
IEEE
16 years 1 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
COMSWARE
2008
IEEE
16 years 1 months ago
Community based search on power law networks
—In this paper, we have presented a novel algorithm for searching Peer-to-Peer (P2P) networks which forms power law topology. It is completely decentralized in nature and hence i...
Tathagata Das, Subrata Nandi, Niloy Ganguly
COMPSAC
2006
IEEE
16 years 23 days ago
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
Jun Yan, Jian Zhang
CSMR
2006
IEEE
16 years 22 days ago
Dynamic Object Process Graphs
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...
Jochen Quante, Rainer Koschke
ICSM
2006
IEEE
16 years 22 days ago
Exploiting the Analogy Between Traces and Signal Processing
The main challenge of dynamic analysis is the huge volume of data, making it difficult to extract high level views. Most techniques developed so far adopt a finegrained approach ...
Adrian Kuhn, Orla Greevy