Test data generation of bytecode by CLP partial evaluation

E Albert, M Gómez-Zamalloa, G Puebla - International Symposium on …, 2008 - Springer
We employ existing partial evaluation (PE) techniques developed for Constraint Logic
Programming (CLP) in order to automatically generate test-case generators for glass-box
testing of bytecode. Our approach consists of two independent CLP PE phases.(1) First, the
bytecode is transformed into an equivalent (decompiled) CLP program. This is already a
well studied transformation which can be done either by using an ad-hoc decompiler or by
specialising a bytecode interpreter by means of existing PE techniques.(2) A second PE is …

Test Data Generation of Bytecode by CLP Partial Evaluation

E Albert Albiol, M Gomez Zamalloa… - 2008 - oa.upm.es
We employ existing partial evaluation (PE) techniques developed for Constraint Logic
Programming (CLP) in order to automatically generate test-case generators for glass-box
testing of bytecode. Our approach consists of two independent CLP PE phases.(1) First, the
bytecode is transformed into an equivalent (decompiled) CLP program. This is already a
well studied transformation which can be done either by using an ad-hoc decompiler or by
specialising a bytecode interpreter by means of existing PE techniques.(2) A second PE is …
Showing the best results for this search. See all results