8 search results - page 1 / 2 » Adding Change Impact Analysis to the Formal Verification of ... |
IFM
2010
Springer
13 years 2 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
DFT
2009
IEEE
13 years 11 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
ENTCS
2002
13 years 4 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
AOSD
2009
ACM
13 years 7 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...