Data Dependence in Programs Involving Indexed Variables
Symbolic execution is a powerful technique used to perform various activities such as program testing, formal verification of programs, etc. However, symbolic execution does not deal with indexed variables in an adequate manner. Integration of indexed variables such as arrays into symbolic execution...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
PDXScholar
1993
|
| Subjects: | |
| Online Access: | https://pdxscholar.library.pdx.edu/open_access_etds/4688 https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=5759&context=open_access_etds |