Export Citations
2 Results for: Keyword: Infeasible Paths
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,842,307 records)|Limit your search to The ACM Full-Text Collection (774,409 records)
Select All
- ArticleApril 2022
Forest GUMP: A Tool for Explanation
Tools and Algorithms for the Construction and Analysis of SystemsPages 314–331https://doi.org/10.1007/978-3-030-99527-0_17AbstractIn this paper, we present Forest GUMP (for Generalized, Unifying Merge Process) a tool for providing tangible experience with three concepts of explanation. Besides the well-known model explanation and outcome explanation, Forest GUMP also ...
- research-articleAugust 2015
Hidden truths in dead software paths
ESEC/FSE 2015: Proceedings of the 2015 10th Joint Meeting on Foundations of Software EngineeringPages 474–484https://doi.org/10.1145/2786805.2786865Approaches and techniques for statically finding a multitude of issues in source code have been developed in the past. A core property of these approaches is that they are usually targeted towards finding only a very specific kind of issue and that the ...
