Home

Ramkrishna__Chatterjee


Data-flow-based testing of object-oriented libraries

Modular Data-flow Analysis of Statically Typed Object-oriented Programming Languages

Relevant context inference