Testing database transaction concurrency

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 184-193

  Deng, Yuetang ^a   Frankl, Phyllis ^a   Chen, Zhongqiang ^a  

^a POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; QUERY LANGUAGES;

ACID PROPERTIES; ANALYSIS TECHNIQUES; DATABASE APPLICATIONS; DATABASE QUERIES; DATABASE TRANSACTIONS; EMPIRICAL EVALUATIONS; OFFLINE; RELATIONAL DATABASE; TOOLSETS; TRANSACTION EXECUTION;

DATA FLOW ANALYSIS;

EID: 85069141298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240306     Document Type: Conference Paper

References (20)

1. A. Aho, R. Sethi, and J. Ullman, Compipler: Principles, Techniques, and Tools, Addison-Wesley, 1988.
2. H. Berenson, et al. “A critique of ANSI SQL Isolation Levels” ACM Special Interest Group on Management of Data Conference, San Jose, CA USA 1995.
3. D. Bruening, J. Chapin, “Systematic testing of multithreaded programs”, MIT/LCS Technical Memo, LCS-TM 607, April 2000.
4. D. Chays, P. Frankl, et al. “A Framework for Testing Database Application” ACM International Symposium on Software Testing and Analysis, Portland, Oregon, 2000.
5. D. Chays, Y. Deng, et al. “An AGENDA for Testing Relational Database Application”, Journal of Software Testing, Verification and Reliability, to appear.
6. D. Chays, Y. Deng, “Demonstration of AGENDA Tool for Testing Database Applications”, International Conference on Software Engineering, Portland, Oregon, USA, 2003.
7. J. Corbett, M. Dwyer, et al. “Bandera: Extracting finite-state models from Java Source Code”, International Conference on Software Engineering, Limerick, Ireland, 2000.
8. Y. Deng, D. Chays and P. Frankl, “Testing database transaction consistency”, Technical Report, CIS Department, Polytechnic University, 2003.
9. O. Edelstein, E. Farchi, et al. “Multithreaded Java program test generation”, IBM Systems Journal, Vol. 41, 2002.
10. M. Fowler, Patterns of Enterprise Application Architecture, Addison-Wesley & Benjamin Cummings, 2003.
11. H. Garcia-monlina, J. Ullman, J. Widom, Database Systems: the Complete Book, Prentice Hall, 2000.
12. J. Gray, A. Reuter, Transaction Processing: Concept and Techniques, Morgan Kaufmann Publishers Inc., 1993.
13. G. Holzmann, “The Spin Model Checker”, IEEE Transaction on Software Engineering, May 1997.
14. G. Hwang, K. Tai, and T. Huang, “Reachability testing: an approach to testing concurrent software”, Inernational. Journal on Software Engineering and Knowledge Engineering, Vol. 5, No. 4, 1995, 493-510.
15. J. Melton, A. Simon, SQL: 1999 Understanding Relational language components, Morgan Kaufmann Publishers Inc., 2002.
16. P. O'Neil, Database: Principles, Programming, and Performance, Morgan Kaufmann Publishers, 2000.
17. T. Ostrand and M. Balcer. “The category-partition method for specifying and generating functional tests”. Communication of ACM, Vol. 31 no. 6, 1988.
18. PostgreSQL Global Development Team, PostgreSQL, http://www.postgresql.org, 2002.
19. R. Stevens, Advanced programming in the UNIX environment, Addison-Wesley, 1993.
20. TPC-Benchmark C. Transaction Processing Council. http://www.tpc.org, 2002.