Sciweavers

2846 search results - page 248 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
OOPSLA
2001
Springer
15 years 11 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
SOFTWARE
2002
15 years 6 months ago
Facing Fault Management as It Is, Aiming for What You Would Like It to Be
Telecommunication systems are built with extensive redundancy and complexity to ensure robustness and quality of service. Such systems requires complex fault identification and man...
Roy Sterritt
ISSTA
2010
ACM
15 years 8 months ago
OCAT: object capture-based automated testing
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang
WCET
2007
15 years 7 months ago
Clustering Worst-Case Execution Times for Software Components
For component-based systems, classical techniques for Worst-Case Execution Time (WCET) estimation produce unacceptable overestimations of a components WCET. This is because softwa...
Johan Fredriksson, Thomas Nolte, Andreas Ermedahl,...
FORTEST
2008
15 years 8 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...