Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Longuet, Delphine"'
Publikováno v:
Proceedings of ACM SAC 2023
Dynamic symbolic execution (DSE) is a powerful test generation approach based on an exploration of the path space of the program under test. Well-adapted for path coverage, this approach is however less efficient for conditions, decisions, advanced c
Externí odkaz:
http://arxiv.org/abs/2211.14592
Autor:
Longuet, Delphine
Le test est l'une des méthodes les plus utilisées pour la validation du logiciel. L'activité de test consiste à exécuter le logiciel sur un sous-ensemble de ses entrées possibles de manière à déceler d'éventuelles erreurs. La présence d'er
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00258792
http://tel.archives-ouvertes.fr/docs/00/25/87/92/PDF/TheseLonguet.pdf
http://tel.archives-ouvertes.fr/docs/00/25/87/92/PDF/TheseLonguet.pdf
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 May 2006 159:205-226
Publikováno v:
Journal of : Software Testing, Verification and Reliability
Journal of : Software Testing, Verification and Reliability, Wiley, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Journal of : Software Testing, Verification and Reliability, Wiley, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
International audience; In the context of testing from algebraic specifications, test cases are ground formulas chosen amongst the ground semantic consequences of the specification, according to some possible additional observability conditions. A te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dce08ea213988010a57839ba800d2a48
https://hal.archives-ouvertes.fr/hal-01318362
https://hal.archives-ouvertes.fr/hal-01318362
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal on Software Tools for Technology Transfer; Jun2016, Vol. 18 Issue 3, p305-318, 14p
Publikováno v:
Theoretical Aspects of Computing - ICTAC 2014; 2014, p369-387, 19p