Sciweavers

1911 search results - page 342 / 383
» Program analysis for code duplication in logic programs
Sort
View
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
14 years 3 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
ICSM
2008
IEEE
14 years 2 months ago
AutoFlow: An automatic debugging tool for AspectJ software
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
IEEEARES
2008
IEEE
14 years 2 months ago
Type and Effect Annotations for Safe Memory Access in C
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
Syrine Tlili, Mourad Debbabi
ICPP
2009
IEEE
14 years 3 months ago
Integrated Performance Views in Charm++: Projections Meets TAU
Abstract—The Charm++ parallel programming system provides a modular performance interface that can be used to extend its performance measurement and analysis capabilities. The in...
Scott Biersdorff, Chee Wai Lee, Allen D. Malony, L...
DOCENG
2006
ACM
14 years 2 months ago
Comparing XML path expressions
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
Pierre Genevès, Nabil Layaïda