Databases Reference
In-Depth Information
[5] T. Ball and S. K. Rajamani. Automatically Validating temporal safety
properties of interfaces. In International SPIN Workshop on Model
Checking of Software, May 2001.
[6] The Byte Code Engineering Library. http://jakarta.apache.org/bcel/.
[7] D. Binkley, R. Capellini, L. Raszewski, and C. Smith. An implemen-
tation of and experiment with semantic differencing. In International
Conference on Software Maintenance, November 2001.
[8] C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated Test-
ing based on java predicates. In International Symposium on Software
Testing and Analysis, July 2002.
[9] W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for find-
ing dynamic programming errors. Software { Practice and Experience,
Volume 20, 2000.
[10] H. Chen and D. Wagner. MOPS: an infrastructure for examining secu-
rity properties of software. In Conference on Computer and Communi-
cations Security, November 2002.
[11] T. M. Chilimbi and V. Ganapathy. HeapMD: identifying heap-based
bugs using anomaly detection. In Conference on Architectural Support
for Programming Languages and Operating Systems, October 2006.
[12] J. E. Cook and A. Wolf. Discovering models of software processes
from event-based data. ACM Transactions on Software Engineering and
Methodology, Volume 7, 1998.
[13] J. E. Cook, Z. Du, C. Liu, and A. L. Wolf. Discovering models of be-
havior for concurrent workflows. Computers in Industry, April 2004.
[14] D. Coppit, J. Yang, S. Khurshid, W. Le, and K. Sullivan. Software as-
surance by bounded exhaustive testing. IEEE Transactions on Software
Engineering, Volume 31, April 2005.
[15] T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction
to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001.
[16] C. Csallner and Y. Smaragdakis. Check 'n' crash: combining static
checking and testing. In International Conference on Software Engi-
neering, May 2005.
[17] C. Csallner and Y. Smaragdakis. DSD-crasher: a hybrid analysis tool
for bug finding. In International Symposium on Software Testing and
Analysis, July 2006.
[18] Joint CAV/ISSTA Special Event on Specification, Verification, and Test-
ing of Concurrent Software, July 2004.
Search WWH ::
Custom Search