Evènement pour le groupe
Modélisation et Verification
Date | 2015-06-11 11:00-12:00 |
Titre | Abstracting Path Conditions |
Résumé | We present a symbolic-execution-based algorithm that for a given
program and a given program location in it produces a nontrivial
necessary condition on input values to drive the program execution to
the given location. The algorithm is based on computation of loop
summaries for loops along acyclic paths leading to the target
location. We also propose an application of necessary conditions in
contemporary bug-finding and test-generation tools. Experimental
results on several small benchmarks show that the presented technique
can in some cases significantly improve performance of the tools.
|
Lieu | 076 |
Orateur | Marek Trtik |
Email | trtikm@gmail.com |
Url | VERIMAG |
Aucun document lié à cet événement.
RetourRetour à l'index