1304 search results - page 183 / 261 » Model Checking C Programs Using F-SOFT |
127
Voted
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
158
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
152
Voted
ICDT
2012
ACM
13 years 5 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
138
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
152
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...