23 search results - page 1 / 5 » The QSM Algorithm and its Application to Software Behavior M... |
AAI
2008
13 years 5 months ago
2008
TSE
2010
13 years 3 months 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...
ICTAI
2008
IEEE
13 years 11 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
ACSD
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
PAKDD
2000
ACM
13 years 8 months ago
2000
ACM
Detection of interactions among data items constitutes an essential part of knowledge discovery. The cascade model is a rule induction methodology using levelwise expansion of a la...