COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Many software engineers consider usability testing as one of the more expensive, tedious and least rewarding tests to implement. Making usability testing less expensive and more r...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
COMPSAC
2009
IEEE
14 years 6 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
VMCAI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
VMCAI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
VMCAI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...