Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.

Ashwin Prasad Shivarpatna Venkatesh Jiawei Wang Li Li Eric Bodden

Published in: CoRR (2023)

Keyphrases

error rate
static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
regular expressions
case study
test suite
test generation
abstract interpretation
domain knowledge
domain specific
test case generation