3889 search results - page 503 / 778 » The Use of Program Dependence Graphs in Software Engineering |
154
Voted
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
167
Voted
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
133
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
139
Voted
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
137
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...