944 search results - page 2 / 189 » Software model checking without source code |
SAC
2010
ACM
13 years 5 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
SIMUTOOLS
2008
13 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...