Accéder directement au contenu

Burkhart Wolff

2
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

marie-claude-gaudel
"frederic-voisin-lri"

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution

Romain Aissat , Marie-Claude Gaudel , Frédéric Voisin , Burkhart Wolff
2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} , Aug 2016, Vienna, Austria
Communication dans un congrès hal-01655414v1
Image document

Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool

Romain Aissat , Marie-Claude Gaudel , Frédéric Voisin , Burkhart Wolff
[Research Report] 1588, Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2016
Rapport hal-01764525v1