P. Cousot, Parametric Abstraction

Patrick Cousot.
Parametric Abstraction.
In First International Workshop on Numerical & Symbolic Abstract Domains (NSAD'05), Maison des Polytechniciens, Paris, France, January 21, 2005.
Abstract:
We recall the definition of abstract domains (or abstract algebra) in abstract interpretation and provide the example of symbolic execution.
We then define the principle of parametric abstraction and provide examples of numerical parametric domains
Finally, we show how parametric symbolic execution is an approximation from below that can be used to generate execution examples (to be used for the automatic test data generation or the automatic generation of a (false) alarm example, in static analysis or abstraction refinement).
Slides of the 30mn NSAD'05 presentation: .pdf .

Bibliographic reference:

\bibitem{Cousot05-NSAD}
P.~Cousot.
\newblock Parametric Abstraction.
\newblock In \emph{First International Workshop on Numerical \& Symbolic 
          Abstract Domains (NSAD'05)}, 
	  Maison des Polytechniciens, Paris, France, January 21, 2005.

@inprocedings{Cousot05-NSAD,
   author =    {Cousot, P{.}},
   title  =    {Parametric Abstraction},
   booktitle = {First International Workshop on Numerical \& Symbolic 
                Abstract Domains (NSAD'05)},
   address =   {Maison des Polytechniciens, Paris, France},
   month =     jan # " 21",
   year =      2005,
}

copyright notice
Last modified: Monday, 07-May-2012 17:51:04 EDT