4725 search results - page 378 / 945 » Dependence-Based Program Analysis |
218
click to vote
APIN
1999
15 years 7 months ago
1999
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
259
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
229
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
206
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
190
click to vote
PLDI
2005
ACM
16 years 29 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...