1199 search results - page 90 / 240 » Software Verification and Software Engineering a Practitione... |
144
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
133
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
128
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
Requirements prioritization is recognized as an important activity in product development. In this paper, we describe the current state of requirements prioritization practices in ...
123
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
259
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...