Dynamic inference of abstract types
- 21 July 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06
- p. 255-265
- https://doi.org/10.1145/1146238.1146268
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Automatic test factoring for javaPublished by Association for Computing Machinery (ACM) ,2005
- Cloning-based context-sensitive pointer alias analysis using binary decision diagramsPublished by Association for Computing Machinery (ACM) ,2004
- Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for ScalabilityLecture Notes in Computer Science, 2004
- Locating features in source codeIEEE Transactions on Software Engineering, 2003
- Discovering Algebraic Specifications from Java ClassesLecture Notes in Computer Science, 2003
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Quantifying the closeness between program components and featuresJournal of Systems and Software, 2000
- Catching bugs in the web of program invariantsPublished by Association for Computing Machinery (ACM) ,1996
- Software reconnaissance: Mapping program features to codeJournal of Software Maintenance: Research and Practice, 1995
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978