Query-Aware Test Generation Using a Relational Constraint Solver
暂无分享,去创建一个
Sarfraz Khurshid | Shadi Abdul Khalek | Bassem Elkarablieh | Yai O. Laleye | S. Khurshid | Bassem Elkarablieh
[1] Daniel Jackson,et al. Finding bugs with a constraint solver , 2000, ISSTA '00.
[2] Sarfraz Khurshid,et al. TestEra: Specification-Based Testing of Java Programs Using SAT , 2004, Automated Software Engineering.
[3] Rupak Majumdar,et al. Dynamic test input generation for database applications , 2007, ISSTA '07.
[4] Sarfraz Khurshid,et al. Checking Java implementation of a naming architecture using Testera , 2001, Workshop on Software Model Checking @ CAV.
[5] Emina Torlak,et al. Kodkod: A Relational Model Finder , 2007, TACAS.
[6] Yuetang Deng,et al. Testing database transactions with AGENDA , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[7] Surajit Chaudhuri,et al. Flexible Database Generators , 2005, VLDB.
[8] Rico Wind,et al. Simple and realistic data generation , 2006, VLDB.
[9] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .
[10] Donald R. Slutz,et al. Massive Stochastic Testing of SQL , 1998, VLDB.
[11] Carsten Binnig,et al. QAGen: generating query-aware test databases , 2007, SIGMOD '07.
[12] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[13] Yannis Smaragdakis,et al. Scalable automatic test data generation from modeling diagrams , 2007, ASE.
[14] Suzanne M. Embury,et al. An intensional approach to the specification of test cases for database applications , 2006, ICSE '06.
[15] Meikel Pöss,et al. Generating Thousand Benchmark Queries in Seconds , 2004, VLDB.
[16] Surajit Chaudhuri,et al. Generating Queries with Cardinality Constraints for DBMS Testing , 2006, IEEE Transactions on Knowledge and Data Engineering.
[17] Daniel Jackson,et al. Automating first-order relational logic , 2000, SIGSOFT '00/FSE-8.
[18] Carsten Binnig,et al. Reverse Query Processing , 2007, 2007 IEEE 23rd International Conference on Data Engineering.