Mining patterns of unsatisfiable constraints to detect infeasible paths

Mining patterns of unsatisfiable constraints to detect infeasible paths

Detection of infeasible paths is required in many areas including test coverage analysis, test case generation, security vulnerability analysis, etc. Existing approaches typically use static analysis coupled with symbolic evaluation, heuristics, or path-pattern analysis. This paper is related to the...

Full description

Saved in:
Bibliographic Details
Main Authors: DING, Sun, TAN, Hee Beng Kuan, SHAR, Lwin Khin
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2015
Subjects:
Infeasible paths
pattern mining
symbolic evaluation
static analysis
structural testing
Databases and Information Systems
Data Storage Systems
Online Access:https://ink.library.smu.edu.sg/sis_research/4779
https://ink.library.smu.edu.sg/context/sis_research/article/5782/viewcontent/Mining_Patterns_of_Unsatisfiable_Constraints_to_Detect_Infeasible_Paths_AST15.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Similar Items

Similar Items