Sciweavers

7785 search results - page 134 / 1557
» The Concept of Dynamic Analysis
Sort
View
PASTE
2010
ACM
15 years 8 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund
RP
2009
Springer
124views Control Systems» more  RP 2009»
15 years 11 months ago
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
Denis Lugiez
DSS
2007
128views more  DSS 2007»
15 years 4 months ago
Toward an interoperable dynamic network analysis toolkit
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
Kathleen M. Carley, Jana Diesner, Jeffrey Reminga,...
ISSRE
2003
IEEE
15 years 9 months ago
Incremental Dynamic Impact Analysis for Evolving Software Systems
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
James Law, Gregg Rothermel
FASE
2009
Springer
15 years 11 months ago
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D....