A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Generation of Test Data Structures Using Constraint Logic Programming
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
#=<S, S#=<MaxSize, fd_labeling([S]), length(Keys,S), length(Colors,S), Max#=NumKeys-1, fd_domain(Keys,0,Max), fd_domain(Colors,0,1), % Symbolic Definition lbt(T,S,Keys,[ ]), % data structure shape pi(T ...
Graphs Pruning (ratio ∼6 oom)
Trees
Symbolic + instantiation Pruning symbolic (ratio ∼6.5 oom) The synch program based Encoding of Red-Black Trees rbtree(T,MinSize,MaxSize,NumKeys) :-% Preamble MinSize ...
c 1 ,k 1 c 2 ,k 2 c 3 ,k 3 No way of placing the remaining 17 nodes to build a feasible tree No way of placing the remaining 17 nodes to build a feasible tree
Optimizing Generators by Transformation ...
doi:10.1007/978-3-642-30473-6_10
fatcat:5qqa6wwq2bchfdits7r52e55ci
Efficient generation of test data structures using constraint logic programming and program transformation
2013
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we use Constraint Logic Programming (CLP) to systematically develop generators of structurally complex test data structures. ...
We follow a declarative approach which allows us to separate the issue of (i) defining the test data structure in terms of its properties, from that of (ii) efficiently generating data structure instances ...
We thank the anonymous referees for their useful feedback.
References ...
doi:10.1093/logcom/ext071
fatcat:w2uhu3ccgvhkdkucl7wctuwvky
Software-based self-testing methodology for processor cores
2001
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
The software tester consists of programs for test generation and test application. Prior to the test, structural tests are prepared for processor components in the form of self-test signatures. ...
During the process of self-test, the test generation program expands the self-test signatures into test sets and the test application program applies the tests to the components under test at the speed ...
The self-testing step involves the application of the component tests using a software tester, which consists of an on-chip test pattern generation program, a test pattern application program, and a test ...
doi:10.1109/43.913755
fatcat:ors6roeymfgq5mmozi2mgg52te
Test input generation for database programs using relational constraints
2012
Proceedings of the Fifth International Workshop on Testing Database Systems - DBTest '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Secondly, we present a static analysis technique to generate test inputs for ImperDB programs, according to any chosen structural adequacy criterion. ...
ImperDB allows to model common program behaviors and data structures, as well as typical interaction scenarios between programs and databases. ...
TEST INPUT GENERATION USING RE-LATIONAL CONSTRAINTS In so-called white-box, or structural testing [21] , the adequacy of a set of test inputs is determined in terms of the amount of code that is covered ...
doi:10.1145/2304510.2304518
dblp:conf/sigmod/MarcozziVH12
fatcat:xazbrdoqyvhn7cn2s7crcakdca
CUTE
2005
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. ...
Moreover, an efficient constraint solver is proposed to facilitate incremental generation of such test inputs. ...
Acknowledgements We are indebtful to Patrice Godefroid and Nils Klarlund for their comments on a previous version of this paper and for suggestions on clarifying the relationship of the current work with ...
doi:10.1145/1081706.1081750
dblp:conf/sigsoft/SenMA05
fatcat:tx42rbse5rctxcs4jncefczyue
A Case for White-box Testing Using Declarative Specifications Poster Abstract
2007
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
White-box testing uses the internal structures (such as control flow or data flow) of programs. Black-box uses an external interface. ...
Although TestEra provides efficient enumeration of structurally complex data structures according to given constraints, it is not efficient in generating tests for code coverage. ...
Although TestEra provides efficient enumeration of structurally complex data structures according to given constraints, it is not efficient in generating tests for code coverage. ...
doi:10.1109/taicpart.2007.4344112
fatcat:qeerqtkqxvfd5dr7lrnhe6i4we
Consistency techniques for interprocedural test data generation
2003
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables. ...
Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach. ...
Introduction Structural testing techniques are usually concerned with the use of the control-ow a program to guide the generation of test data. ...
doi:10.1145/949952.940087
fatcat:zinh3l7quzaghgke7qp7tgv23m
Consistency techniques for interprocedural test data generation
2003
Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables. ...
Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach. ...
Introduction Structural testing techniques are usually concerned with the use of the control-ow a program to guide the generation of test data. ...
doi:10.1145/940071.940087
dblp:conf/sigsoft/SyD03
fatcat:czb2c2gih5fhxbolksul25el4a
Embedded hardware and software self-testing methodologies for processor cores
2000
Proceedings of the 37th conference on Design automation - DAC '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
The software tester consists of programs for test generation and test application. Prior to the test, structural tests are prepared for processor components in the form of selftest signatures. ...
During the process of self-test, the test generation program expands the self-test signatures into test sets, and the test application program applies the tests to the components-under-test at the speed ...
The self-testing step involves the use of a software tester, which consists of an on-chip test pattern generation program, a test pattern application program, and a test response analysis program, as shown ...
doi:10.1145/337292.337599
dblp:conf/dac/ChenDSSC00
fatcat:m7k46u6t3ve37gn67e3bety56e
Automatic parallelization of irregular and pointer-based computations: Perspectives from logic and constraint programming
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Irregularity appears in certain kinds of numerical problems and is pervasive in symbolic applications. Such computations often use dynamic data structures which make heavy use of pointers. ...
In the past decade there has been significant progress in the development of parallelizing compilers for logic programming and, more recently, constraint programming. ...
These are the &-Prolog system parallelizer [44, 24, 8] (which parallelizes standard Prolog programs) and the CIAO system parallelizer [19] (a more recent system which parallelizes constraint programs ...
doi:10.1007/bfb0002715
fatcat:piwyx3nrh5ewbceoqejazsugr4
Consistency techniques for interprocedural test data generation
2003
Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper 1 presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or oat variables. ...
Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype has been implemented. Experiments show t h e feasibility of the approach. ...
Introduction Structural testing techniques are usually concerned with the use of the control-ow a program to guide the generation of test data. ...
doi:10.1145/940085.940087
fatcat:vwb2teyqcjerlepiiu6yjyii6a
Test Input Data Generation for Choiceless Program Nets
2020
ECTI Transactions on Computer and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Finally, a method to generate test input data under the obtained constraint conditions is proposed by adopting an SMT (Satisfiability Modulo Theories) solver, $Z3$ prover, and also an example is given ...
This paper aims to solve the remaining task of our approach, that is how to find test input data for each subnet to be called choiceless program net. ...
Hiromu Morita for his assistance in coding programs when he was studying at Yamaguchi University. ...
doi:10.37936/ecti-cit.2020141.197859
fatcat:vbg3ifwzpfabzmjej2qfld5xma
Extracting XML schema from multiple implicit xml documents based on inductive reasoning
2008
Proceeding of the 17th international conference on World Wide Web - WWW '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. ...
We evaluate similarity of data type and data range by using an ontology dictionary, and XML Schema is made from results of second and last step. ...
ACM 978-1-60558-085-2/08/04. programming is a paradigm that builds a mechanism of restriction cancellation into logic programming; [3] presents a concept of constraint into a relative connotation. ...
doi:10.1145/1367497.1367735
dblp:conf/www/EkiOS08
fatcat:kythyi765bf7loeuypk4cjouy4
Combining test case generation and runtime verification
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
The input domain of the program is explored using a model checker extended with symbolic execution. Properties are formulated in an expressive temporal logic. ...
The framework consists of combining automated test case generation based on systematically exploring the input domain of the program with runtime verification, where execution traces are monitored and ...
Symbolic execution of a program path results in a set of constraints that define program inputs that execute the path; these constraints are then solved using off-theshelf decision procedures to generate ...
doi:10.1016/j.tcs.2004.11.007
fatcat:kmfeguv4zjcm3ky7bnuusna4e4
Whispec
2007
Proceedings of the 2007 Symposium on Library-Centric Software Design - LCSD '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Experiments using a variety of data structure implementations from the Java libraries show that our framework generates significantly smaller test suites (while maximizing coverage) than those generated ...
We present a novel framework, Whispec, for white-box testing of methods that manipulate structurally complex data, such as those that pervade library classes. ...
White-box testing uses the internal structures (such as control flow or data flow) of programs. Black-box testing uses an external interface. ...
doi:10.1145/1512762.1512764
fatcat:7aozz5s4vjgghkpdqzrntfomgi
« Previous
Showing results 1 — 15 out of 240,612 results