Query-aware test generation using a relational constraint solver

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 238-247

  Khalek, Shadi Abdul ^a   Elkarablieh, Bassem ^a   Laleye, Yai O ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALLOY ANALYZERS; BLACK BOXES; DATA GENERATIONS; DATABASE MANAGEMENT SYSTEMS; DATABASE SCHEMATA; INPUT DATUMS; PROTOTYPE TOOLS; QUERY PROCESSORS; RELATIONAL CONSTRAINTS; SQL QUERIES; TEST GENERATIONS; TEST SUITES;

ADMINISTRATIVE DATA PROCESSING; ALLOYS; JAVA PROGRAMMING LANGUAGE; MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS; SOFTWARE ENGINEERING;

DATABASE SYSTEMS;

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

References (25)

1. MySq1 open source database. http://www.mysql.com/.
2. Carsten Binnig, Donald Kossmann, and Eric Lo. Reverse query processing. In ICDE, pages 506-515. IEEE, 2007.
3. Carsten Binnig, Donald Kossmann, Eric Lo, and M. Tamer Özsu. Qagen: generating query-aware test databases. In SIGMOD Conference, pages 341-352, 2007.
4. Nicolas Bruno and Surajit Chaudhuri. Flexible database generators. In VLDB '05: Proceedings of the 31st international conference on Very large data bases, pages 1097-1107. VLDB Endowment, 2005.
5. Nicolas Bruno, Surajit Chaudhuri, and Dilys Thomas. Generating queries with cardinality constraints for dbms testing. IEEE Transactions on Knowledge and Data Engineering, 18(12): 1721-1725, 2006.
6. Datanamics. Db date generator. http://www.datanam.ic.com/ datagenerator/index.html.
7. IBM DB2. Test database generator, www.ibm.com/software/data/ db2imstools/db2tools/db2tdbg/.
8. Yuetang Deng, Phyllis Frankl, and David Chays. Testing database transactions with agenda. In ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 78-87, 2005.
9. Michael Emmi, Rupak Majumdar, and Koushik Sen. Dynamic test input generation for database applications. In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis, pages 151-162, 2007.
10. Larry Greenemeier, Elena Malykhina, and Paul McDougall. The high cost of data loss, March 2006. http://www.information.week. com/showArticle.jhtml? articleID=183700367.
11. Kenneth Houkjaer, Kristian. Torp, and Rico Wind. Simple and realistic data generation. In VLDB '06: Proceedings of the 32nd international conference on Very large data bases, pages 1243-.1.246. VLDB Endowment, 2006.
12. Daniel Jackson. Automating first-order relational logic. In Proc. 8th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), San Diego, CA, November 2000.
13. Daniel Jackson. Alloy: A lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(2), April. 2002.
14. Daniel Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
15. Daniel Jackson and Mandana Vaziri. Finding bugs with a constraint solver. In Proc. International Symposium on Software Testing and Analysis (ISSTA), Portland, OR, August 2000.
16. Sarfraz Khurshid and Darko Marinov. Checking Java implementation of a naming architecture using TestEra. In Scott D. Stoller and Willem Visser, editors, Electronic Notes in Theoretical Computer Science (ENTCS), volume 55. Elsevier Science Publishers, 2001.
17. Sarfraz Khurshid and Darko Marinov. Using TestEra to check the Intentional Naming System of Oxygen. In MIT Student Oxygen Workshop, Gloucester, MA, July 2001.
18. Sarfraz Khurshid and Darko Marinov. TestEra: Specification-based testing of Java programs using SAT. Automated Software Engineering Journal, 2004.
19. Oracle Corp. Oracle database engine. http://www.oracle.com/ technology/software/products/database/index.html.
20. Meikel Poess and Jr. John M. Stephens. Generating thousand benchmark queries in seconds. In vldb'2004: Proceedings of the Thirtieth international conference on Very large data hases, pages 1045-1053, 2004.
21. Donald R. Slutz. Massive stochastic testing of sql. In VLDB'98, Proceedings of 24rd International Conference on Very Large Data Bases, August 24-27, 1998, New York City, New York, USA, pages 618-622. Morgan Kaufmann, 1998.
22. Yannis Smaragdakis, Christoph Csallner, and Ranjith Subramanian. Scalable automatic test data generation from modeling diagrams. In ASE '07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, pages 4-13, New York, NY, USA, 2007. ACM.
23. The hsqldb Development Group. HSQL database engine, http: //www.hsqldb.org/.
24. Emina Torlak and Daniel Jackson. Kodkod: A relational model finder, pages 632-647. 2007.
25. David Willmor and Suzanne M. Embury. An intensional approach to the specification of test cases for database applications. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 102-111, New York, NY, USA, 2006. ACM.