Login / Signup

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.

Ashwin Prasad Shivarpatna VenkateshJiawei WangLi LiEric Bodden
Published in: SANER (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • java card
  • malicious code
  • test generation
  • test suite
  • regular expressions
  • abstract interpretation
  • domain knowledge
  • data management
  • cognitive processes