Journals
Publish with us
Publishing partnerships
About us
Blog

Mathematical Problems in Engineering

For authors For reviewers For editors Table of Contents

Mathematical Problems in Engineering/
2020/
Article/
Fig 1 /

Research Article

Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Figure 1

A motivating example of reverse analysis.

About us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy