Publications tagged "java"

Journal, Conference, and Workshop Papers

2015

JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster
In European Software Engineering Conference and Foundations of Software Engineering (ESEC/FSE), Tool Demo Track, Bergamo, Italy, September 2015.
tags: java, synthesis
[ bibtex | doi ]

2007

Type Qualifier Inference for Java
David Greenfieldboyce and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 321–336, Montreal, Canada, October 2007.
tags: analysis, java, quals, types
[ bibtex | doi ]

Inferring Aliasing and Encapsulation Properties for Java
Kin-Keung Ma and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 423–440, Montreal, Canada, October 2007.
tags: analysis, java, pointers
[ bibtex | doi ]

2004

A Comparison of Bug Finding Tools for Java
Nick Rutar, Christian B. Almazan, and Jeffrey S. Foster
In 15th IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 245–256, Saint-Malo, Bretagne, France, November 2004.
tags: analysis, java
[ bibtex | doi ]

Technical Reports

JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, and Jeffrey S. Foster
Technical Report arXiv:1507.03577, CoRR, July 2015.
tags: java, synthesis
[ bibtex ]