Scaling scope bounded checking using incremental approaches

Scaling scope bounded checking using incremental approaches

Bounded Verification is an effective technique for finding subtle bugs in object-oriented programs. Given a program, its correctness specification and bounds on the input domain size, scope bounded checking translates bounded code segments into formulas in boolean logic and uses off the shelf satisf...

Full description

Bibliographic Details
Main Author: Gopinath, Divya
Format: Others
Language:English
Published: 2010
Subjects:
Bounded verification
Incremental approach
Splitting strategies
Data flow analysis
Forge
Online Access:http://hdl.handle.net/2152/ETD-UT-2010-05-1209

Internet

http://hdl.handle.net/2152/ETD-UT-2010-05-1209

Similar Items