Test-case-based Code Navigation in Dynamically Typed Programming Languages.
Gabriel PereiraIngrid NunesMarcelo PimentaPublished in: SBCARS (2020)
Keyphrases
- programming language
- lambda calculus
- program code
- object oriented
- program understanding
- domain specific languages
- high level
- logic programming
- general purpose
- computer programs
- programming tool
- test cases
- source code
- strongly typed
- specification language
- database languages
- programming environment
- software engineering
- denotational semantics
- data abstraction
- higher order
- programming language constructs
- object oriented concepts
- concurrent programming
- predicate calculus
- databases
- programs written
- software testing
- reverse engineering
- software development
- database