Command-form coverage for testing database applications

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 69-78

  Halfond, William G J ^a   Orso, Alessandro ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE-BASED COVERAGE; DYNAMICALLY-GENERATED DATABASE;

CODES (SYMBOLS); COMPUTER APPLICATIONS; DATABASE SYSTEMS; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

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

References (24)

1. T. Ball and J. R. Larus. Efficient Path Profiling. In Proc. of Micro 96, pages 46-57, Dec. 1996.
2. M. Chan and S. Cheung. Testing Database Applications with SQL Semantics. In CODAS'99: Proc. of 2nd International Symposium on Cooperative Database Systems for Advanced Applications, pages 363-374, Dec. 1999.
3. D. Chays, S. Dan, P. G. Frankl, F. I. Vokolos, and E. J. Weyuker. A Framework for Testing Database Applications. In ISSTA '00: Proc. of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 147-157, Aug. 2000.
4. D. Chays, Y. Deng, P. G. Frankl, S. Dan, F. I. Vokolos, and E. J. Weyuker An AGENDA for Testing Relational Database Applications. Journal of Software Testing, Verification and Reliability, Mar. 2004.
5. J. Chilenski and S. Miller. Applicability of Modified Condition/Decision Coverage to Software Testing. Software Engineering Journal, 9(5): 193-200, Sep. 1994.
6. A. S. Christensen, A. Møller, and M. I. Schwartzbach. Precise Analysis of String Expressions. In Proc. 10th International Static Analysis Symposium, SAS '03, pages 1-18, Jun. 2003.
7. W. R. Cook and S. Rai. Safe Query Objects: Statically Typed Objects as Remotely Executable Queries. In Proc. of the 27th International Conference on Software Engineering (ICSE 2005), pages 97-106, May 2005.
8. B. Daou, R. A. Haraty, and N. Mansour. Regression Testing of Database Applications. In SAC '01: Proc. of the 2001 ACM Symposium on Applied Computing, pages 285-289, 2001.
9. Y. Deng, P. Frankl, and D. Chays. Testing Database Transactions with AGENDA. In ICSE '05: Proc. of the 27th International Conference on Software Engineering, pages 78-87, 2005.
10. P. G. Frankl and E. J. Weyuker. An Applicable Family of Data Flow Testing Criteria. IEEE Transactions on Software Engineering, 14(10): 1483-1498, Oct. 1988.
11. C. Gould, Z. Su, and P. Devanbu. Static Checking of Dynamically Generated Queries in Database Applications. In Proc. of the 26th International Conference on Software Engineering (ICSE 04), pages 645-654, May 2004.
12. W. G. Halfond and A. Orso. AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks. In Proc. of the IEEE and ACM International Conference on Automated Software Engineering (ASE 2005), pages 174-183, Nov. 2005.
13. G. M. Kapfhammer and M. L. Soffa. A Family of Test Adequacy Criteria for Database-Driven Applications. In ESEC/FSE-11: Proc. of the 9th European Software Engineering Conference, held jointly with, 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 98-107, Sep. 2003.
14. R. McClure and I. Krüger. SQL DOM: Compile Time Checking of Dynamic SQL Statements. In Proc. of the 27th International Conference on Software Engineering (ICSE 05), pages 88-96, May 2005.
15. T. J. Ostrand and M. Balcer. The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM, 31(6), Jun. 1988.
16. Z. Su and G. Wassermann. The Essence of Command Injection Attacks in Web Applications. In The 33rd Annual Symposium on Principles of Programming Languages, pages 372-382, Jan. 2006.
17. M. J. Suárez-Cabal and J. Tuya. Using an SQL Coverage Measurement for Testing Database Applications. In Proc. of the 12th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2004), pages 253-262, Oct. 2004.
18. F. Tip. A Survey of Program Slicing Techniques. Journal Of Programming Languages, 31(5):32-40, May 1998.
19. A. H. Watson and T. J. McCabe. Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. Technical Report 500-235, NIST Special Publication, Aug. 1996.
20. E. J. Weyuker. The Applicability of Program Schema Results to Programs. International Journal of Parallel Programming, 8(5):387-403, Oct. 1979.
21. D. Willmor and S. M. Embury. A safe regression test selection technique for database-driven applications. In Proc. of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), pages 421-430, Sep. 2005.
22. D. Willmor and S. M. Embury. Exploring test adequacy for database systems. In Proceedings of the 3rd UK Software Testing Research Workshop (UKTest 2005), pages 123-133, Sep. 2005.
23. D. Willmor and S. M. Embury. An Intensional Approach to the Specification of Test Cases for Database Systems. In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pages 102-111, May 2006.
24. J. Zhang, C. Xu, and S. C. Cheung. Automatic Generation of Database Instances for White-box Testing. In COMPSAC '01: Proc. of the 25th International Computer Software and Applications Conference, pages 161-165, Oct. 2001.