1111 search results - page 115 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
115
click to vote
JCC
2011
14 years 10 months ago
2011
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
100
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
160
click to vote
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
138
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
108
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...