Sciweavers

23 search results - page 1 / 5
» The QSM Algorithm and its Application to Software Behavior M...
Sort
View
52
Voted
AAI
2008
71views more  AAI 2008»
14 years 9 months ago
The QSM Algorithm and its Application to Software Behavior Model Induction
Pierre Dupont, Bernard Lambeau, Christophe Damas, ...
TSE
2010
151views more  TSE 2010»
14 years 7 months ago
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
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...
George K. Baah, Andy Podgurski, Mary Jean Harrold
121
Voted
ICTAI
2008
IEEE
15 years 3 months ago
Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
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...
Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
14 years 7 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...
PAKDD
2000
ACM
128views Data Mining» more  PAKDD 2000»
15 years 1 months ago
Efficient Detection of Local Interactions in the Cascade Model
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...
Takashi Okada