Databases Reference
In-Depth Information
[2] FindBugs.
http://findbugs.sourceforge.net/
.
[3] GrammaTech CodeSurfer.
http://www.grammatech.com/products/
codesurfer/
.
[4] Java PathFinder.
http://javapathfinder.sourceforge.net/
.
[5] Microsoft Pex.
http://research.microsoft.com/en-us/projects/
Pex/
.
[6] Pattern
Insight's
Patch
Miner.
http://www.patterninsight.com/
solutions/index.html
.
[7] IEEE Computer Society. IEEE Standard for Information Technology
Portable Operating System Interface POSIX Part I: System Application
Program Interface API, IEEE Std 1003.1b-1993. 1994.
[8] Mithun Acharya, Tao Xie, Jian Pei, and Jun Xu. Mining API patterns as
partial orders from source code: from usage scenarios to specifications. In
Proceedings of the 6th Joint Meeting of the European Software Engineer-
ing Conference and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (ESEC/FSE), pages 25{34, 2007.
[9] Rakesh Agrawal and Ramakrishnan Srikant. Fast algorithms for mining
association rules in large databases. In Proceedings of the International
Conference on Very Large Data Bases (VLDB), pages 487{499, 1994.
[10] Rajeev Alur, Pavol Cerny, P. Madhusudan, and Wonhong Nam. Synthesis
of interface specifications for Java classes. In Proceedings of the Sympo-
sium on Principles of Programming Languages (POPL), pages 98{109,
2005.
[11] G. Ammons, D. Mandein, R. Bodik, and J. Larus. Debugging temporal
specifications with concept analysis. In Proceedings of the Conference
on Programming Language Design and Implementation (PLDI), pages
182{195, 2003.
[12] Glenn Ammons, Rastislav Bodik, and James Larus. Mining specifica-
tions. In Proceedings of the Symposium on Principles of Programming
Languages (POPL), pages 4{16, 2002.
[13] Thomas Ball and Sriram Rajamani. Automatically validating temporal
safety properties of interfaces. In Proceedings of the Workshop on Model
Checking Software, pages 103{122, 2001.
[14] Magiel Bruntink, Arie Van Deursen, and Tom Tourwe. Discovering faults
in idiom-based exception handling. In Proceedings of the International
Conference on Software Engineering (ICSE), pages 242{251, 2006.
Search WWH ::
Custom Search