SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
SIGSOFT
2006
ACM
14 years 6 months ago
2006
ACM