Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Representation Dependence Testing using Program Inversion
 

Summary: Representation Dependence Testing using
Program Inversion
Aditya Kanade
Indian Institute of Science
kanade@csa.iisc.ernet.in
Rajeev Alur
University of Pennsylvania
alur@cis.upenn.edu
Sriram Rajamani G. Ramalingam
Microsoft Research India
{sriram,grama}@microsoft.com
ABSTRACT
The definition of a data structure may permit many differ-
ent concrete representations of the same logical content. A
(client) program that accepts such a data structure as input
is said to have a representation dependence if its behavior
differs for logically equivalent input values. In this paper,
we present a methodology and tool for automated testing
of clients of a data structure for representation dependence.
In the proposed methodology, the developer expresses the

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences