Burkhart Wolff
5
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
- 5
- 2
- 2
- 2
- 1
- 1
- 1
Symbolic Test-generation in HOL-TestGen/CirTA: A Case StudyInternational Journal of Software and Informatics (IJSI), 2015
Article dans une revue
hal-01765531v1
|
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} , Aug 2016, Vienna, Austria
Communication dans un congrès
hal-01655414v1
|
|
|
The Circus Testing Theory Revisited in Isabelle/HOLFormal Methods and Software Engineering - 15th International Conference on Formal Engineering Method, ICFEM, Oct 2013, Queenstown, New Zealand. pp.131--147, ⟨10.1007/978-3-642-41202-8_10⟩
Communication dans un congrès
hal-01126803v1
|
The Circus Testing Theory Revisited in Isabelle/HOLLindsay Groves and Jing Sun. Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods(ICFEM), Springer-Verlag, 2013
Chapitre d'ouvrage
hal-00945960v1
|
|
Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool[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
|