Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Romain Aissat"'
Publikováno v:
QRS
2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS}
2016 International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria
2016 {IEEE} International Conference on Software Quality, Reliability and Security, {QRS}
2016 International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria
International audience; —Path-biased random testing is an interesting alternative to classical path-based approaches faced to the explosion of the number of paths, and to the weak structural coverage of random methods based on the input domain only
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f891f9731ed6675940bab83d9a7068eb
https://doi.org/10.1109/qrs.2016.26
https://doi.org/10.1109/qrs.2016.26
Publikováno v:
Interactive Theorem Proving. ITP 2016
Interactive Theorem Proving. ITP 2016, 2016, NANCY, France
Interactive Theorem Proving ISBN: 9783319431437
Interactive Theorem Proving. ITP 2016, 2016, NANCY, France
Interactive Theorem Proving ISBN: 9783319431437
TRACER [8] is a tool for verifying safety properties of sequential C programs. TRACER attempts at building a finite symbolic execution graph which over-approximates the set of all concrete reachable states and the set of feasible paths.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a01a887586f891c96b0a423bfc5fdaa
https://hal.archives-ouvertes.fr/hal-01632902
https://hal.archives-ouvertes.fr/hal-01632902
