A systematic mapping study of 248 papers introduces a taxonomy of synergistic effects, inter-analysis workflows, and mapping functions to catalog patterns in combined program analysis techniques.
Analyzing test completeness for dynamic languages , year =
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
verdicts
UNVERDICTED 3roles
background 2polarities
background 2representative citing papers
Pecker reconstructs causal chains in sequential hardware designs via temporal backtracking with Estimated Minimal Propagation Cycles and trace pruning, localizing 51%/80%/85% of bugs in top-1/3/5 ranks on benchmarks.
A research roadmap analyzing the current state of search-based software engineering with foundation models, outlining challenges and directions across three integration aspects.
citing papers explorer
-
Combined Program Analysis Techniques: A Systematic Mapping Study
A systematic mapping study of 248 papers introduces a taxonomy of synergistic effects, inter-analysis workflows, and mapping functions to catalog patterns in combined program analysis techniques.
-
Pecker: Bug Localization Framework for Sequential Designs via Causal Chain Reconstruction
Pecker reconstructs causal chains in sequential hardware designs via temporal backtracking with Estimated Minimal Propagation Cycles and trace pruning, localizing 51%/80%/85% of bugs in top-1/3/5 ranks on benchmarks.
-
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
A research roadmap analyzing the current state of search-based software engineering with foundation models, outlining challenges and directions across three integration aspects.