Sciweavers

111 search results - page 2 / 23
» Static analysis for dynamic coupling measures
Sort
View
KBSE
2007
IEEE
13 years 11 months ago
Using information retrieval to support design of incremental change of software
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
Denys Poshyvanyk, Andrian Marcus
SQJ
2008
74views more  SQJ 2008»
13 years 5 months ago
Quantitatively measuring object-oriented couplings
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
Jeff Offutt, Aynur Abdurazik, Stephen R. Schach
ISSTA
2010
ACM
13 years 9 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
DAC
2000
ACM
14 years 6 months ago
Dynamic noise analysis in precharge-evaluate circuits
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
Dinesh Somasekhar, Seung Hoon Choi, Kaushik Roy, Y...
BMCBI
2007
97views more  BMCBI 2007»
13 years 5 months ago
A procedure for the estimation over time of metabolic fluxes in scenarios where measurements are uncertain and/or insufficient
Background: An indirect approach is usually used to estimate the metabolic fluxes of an organism: couple the available measurements with known biological constraints (e.g. stoichi...
Francisco Llaneras, Jesús Picó