Symbolic execution and program testing
Communications of the ACM
Redundant Argument Filtering of Logic Programs
LOPSTR '96 Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation
A CLP Framework for Computing Structural Test Data
CL '00 Proceedings of the First International Conference on Computational Logic
Automated test case generation for the stress testing of multimedia systems
Software—Practice & Experience
Systematic generation of glass-box test cases for functional logic programs
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Heap space analysis for java bytecode
Proceedings of the 6th international symposium on Memory management
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
Removing useless variables in cost analysis of Java bytecode
Proceedings of the 2008 ACM symposium on Applied computing
Detection and Prediction of Resource-Exhaustion Vulnerabilities
ISSRE '08 Proceedings of the 2008 19th International Symposium on Software Reliability Engineering
Decompilation of Java bytecode to Prolog by partial evaluation
Information and Software Technology
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Towards Resource Consumption-Aware Programming
ICSEA '09 Proceedings of the 2009 Fourth International Conference on Software Engineering Advances
PET: a partial evaluation-based test case generation tool for Java bytecode
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Cost analysis of java bytecode
ESOP'07 Proceedings of the 16th European conference on Programming
Generating unit tests from formal proofs
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Test case generation for object-oriented imperative languages in clp*
Theory and Practice of Logic Programming
Compositional CLP-based test data generation for imperative languages
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Forward slicing by conjunctive partial deduction and argument filtering
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Hi-index | 0.00 |
Test Data Generation (TDG) aims at automatically obtaining test inputs which can then be used by a software testing tool to validate the functional behaviour of the program. In this paper, we propose resource-aware TDG, whose purpose is to generate test cases (from which the test inputs are obtained) with associated resource consumptions. The framework is parametric w.r.t. the notion of resource (it can measure memory, steps, etc.) and allows using software testing to detect bugs related to non-functional aspects of the program. As a further step, we introduce resource-driven TDG whose purpose is to guide the TDG process by taking resource consumption into account. Interestingly, given a resource policy, TDG is guided to generate test cases that adhere to the policy and avoid the generation of test cases which violate it.