Dynamic test input generation for database applications
Top Cited Papers
- 9 July 2007
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 151-162
- https://doi.org/10.1145/1273463.1273484
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The essence of command injection attacks in web applicationsPublished by Association for Computing Machinery (ACM) ,2006
- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking ToolsPublished by Springer Nature ,2006
- CUTEPublished by Association for Computing Machinery (ACM) ,2005
- Simplify: a theorem prover for program checkingJournal of the ACM, 2005
- Execution Generated Test Cases: How to Make Systems Code Crash ItselfPublished by Springer Nature ,2005
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionPublished by Springer Nature ,2005
- A family of test adequacy criteria for database-driven applicationsPublished by Association for Computing Machinery (ACM) ,2003
- Precise Analysis of String ExpressionsPublished by Springer Nature ,2003
- ANTLR: A predicated‐LL(k) parser generatorSoftware: Practice and Experience, 1995
- Efficiency of a Good But Not Linear Set Union AlgorithmJournal of the ACM, 1975