1226 search results - page 21 / 246 » Generating Abstractions from Static Domain Analysis |
163
Voted
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
131
click to vote
ASIAN
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
120
Voted
SP
2002
IEEE
15 years 3 days ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
86
Voted
ICSE
2003
IEEE-ACM
16 years 17 days ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
92
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...