Databases Reference
In-Depth Information
[47] Jian Pei, Haixun Wang, Jian Liu, Ke Wang, Jianyong Wang, and Philip
Yu. Discovering frequent closed partial orders from strings. IEEE Trans-
actions on Knowledge and Data Engineering (TKDE), 18(11):1467{1481,
2006.
[48] Murali Krishna Ramanathan, Ananth Grama, and Suresh Jagannathan.
Path-sensitive inference of function precedence protocols. In Proceedings
of the International Conference on Software Engineering (ICSE), pages
240{250, 2007.
[49] Murali Krishna Ramanathan, Ananth Grama, and Suresh Jagannathan.
Static specification inference using predicate mining. In Proceedings of
the Conference on Programming Language Design and Implementation
(PLDI), pages 123{134, 2007.
[50] David Rosenthal. Inter-client communication Conventions Manual (IC-
CCM), Version 2.0. X Consortium, Inc. 1994.
[51] Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta. Mining li-
brary specifications using inductive logic programming. In Proceedings
of the International Conference on Software Engineering (ICSE), pages
131{140, 2008.
[52] Matthew Schmid, Anup Ghosh, and Frank Hill. Techniques for evaluating
the robustness of Windows NT software. In Proceedings of the 2000
DARPA Information Survivability Conference and Exposition (DISCEX),
page 1347, 2000.
[53] Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob
West, Jeremy Lin, and Wei Tu. Model checking an entire Linux dis-
tribution for security violations. In Proceedings of the Annual Computer
Security Applications Conference (ACSAC), pages 13{22, 2005.
[54] Charles Shelton, Philip Koopman, and Kobey DeVale. Robustness testing
of the Microsoft Win32 API. In Proceedings of the IEEE International
Conference on Dependable Systems and Networks (DSN), page 261, 2000.
[55] Suresh Thummalapenta and Tao Xie. PARSEWeb: a programmer assis-
tant for reusing open source code on the web. In Proceedings of the In-
ternational Conference on Automated Software Engineering (ASE), pages
204{213, 2007.
[56] W.N. Toy. Fault-tolerant design of local ESS processors. In The Theory
and Practice of Reliable System Design, Digital Press, 1982.
[57] Timothy Tsai and Navjot Singh. Reliability testing of applications on
Windows NT. In Proceedings of the IEEE International Conference on
Dependable Systems and Networks (DSN), page 427, 2000.
Search WWH ::
Custom Search