944 search results - page 33 / 189 » Software model checking without source code |
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
ICSEA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
CASES
2006
ACM
13 years 11 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...