Databases Reference
In-Depth Information
explore the use of static path profiles, a technique that weights the predicates
found at a particular call-site based on the number of incoming paths to that
site. Taken together, these techniques provide a promising approach toward
the realization of automatic, scalable, and ecient specification inference of
real-world programs.
Bibliography
[1] R. Agrawal and R. Srikant. Fast algorithms for mining association rules.
In Proc. 20th Int. Conf. Very Large Data Bases, VLDB, pages 487{499,
1994.
[2] R. Agrawal and R. Srikant. Mining sequential patterns. In Eleventh
International Conference on Data Engineering, pages 3{14, 1995.
[3] R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of inter-
face specications for java classes. In POPL '05: Proceedings of the
32nd ACM SIGPLAN-SIGACT Symposium on Principles of Program-
ming Languages, pages 98{109, 2005.
[4] G. Ammons, R. Bodik, and J. Larus. Mining specifications. In POPL
'02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pages 4{16, 2002.
[5] G. Ammons, D. Mandelin, R. Bodik, and J. Larus. Debugging temporal
specications with concept analysis. In PLDI '03: Proceedings of the
ACM SIGPLAN 2003 Conference on Programming Language Design and
Implementation, pages 182{195, 2003.
[6] P. Anderson, T. Reps, and T. Teitelbaum. Design and implementation
of a fine-grained software inspection tool. IEEE Trans. on Software En-
gineering, 29(8):721{733, August 2003.
[7] T. Ball and J. Larus. Ecient path profiling. In MICRO-29, December
1996.
[8] T. Ball, V. Levin, and F. Xie. Automatic creation of environment models
via training. In TACAS '04: Tenth International Conference on Tools and
Algorithms for the Construction and Analysis of Systems, pages 93{107,
2004.
[9] T. Ball and S.K. Rajamani. Automatically validating temporal safety
properties of interfaces. In SPIN 2001, Workshop on Model Checking of
Software, LNCS 2057, pages 103{122, May 2001.
Search WWH ::
Custom Search