Your proof fails? Testing helps to find the reason

Autor: Petiot , G., Kosmatov , N., Botella , B., Giorgetti , A., Julliand , J.

Publikováno v: Lecture Notes in Computer Science
Lecture Notes in Computer Science, Springer, 2016, 9762, pp.130-150. ⟨10.1007/978-3-319-41135-4_8⟩
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9762, pp.130-150. 〈10.1007/978-3-319-41135-4_8〉
Lecture Notes in Computer Science, 2016, 9762, pp.130-150. ⟨10.1007/978-3-319-41135-4_8⟩

Applying deductive verification to formally prove that a program respects its formal specification is a very complex and time-consuming task due in particular to the lack of feedback in case of proof failures. Along with a non-compliance between the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0434c1561744e04115ff588fa90fb91
https://hal-cea.archives-ouvertes.fr/cea-01808892

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.

Autor: Bouquet, F., Bue, P.-C., Julliand, J., Masson, P.-A.

Publikováno v: 2010 Third International Conference on Software Testing, Verification & Validation Workshops (ICSTW); 2010, p54-61, 8p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

PLTL-partitioned model checking for reactive systems under fairness assumptions.

Autor: Chouali, S., Julliand, J., Masson, P.-A., Bellegarde, F.

Publikováno v: ACM Transactions on Embedded Computing Systems; May2005, Vol. 4 Issue 2, p267-301, 35p