Zobrazeno 1 - 7 of 7 pro vyhledávání: '"Lucian Ghirvu"'
1
Using static analysis to improve automatic test generation
Autor: Jean-Claude Fernandez, Lucian Ghirvu, Marius Bozga
Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000 Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000
Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000, Mar 2000, Berlin, Germany. pp.235-250, ⟨10.1007/3-540-46419-0⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540672821
TACAS
International audience; Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hindered by the state explosion problem. Our method
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::577abf0a850215c231bfae3899cda284
https://doi.org/10.1007/s10009-002-0098-x
Zobrazit plný text záznamu
2
Verification and test generation for the SSCOP protocol
Autor: Lucian Ghirvu, Claude Jard, Pierre Morel, Marius Bozga, Thierry Jéron, Alain Kerbrat, Laurent Mounier, Jean-Claude Fernandez
Publikováno v: Science of Computer Programming. 36(1):27-52
Many formal tools are now efficient enough to deal with small-to-medium size systems. Working with larger systems requires not so much to improve these tools, but to use them in combination, applying one tool for what it is most efficient for, and us
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4105f4e86717f7863a2ed2e61527400d
Zobrazit plný text záznamu
3
A Transformational Approach for Generating Non-Linear Invariants
Autor: Yassine Lakhnech, Marius Bozga, Lucian Ghirvu, Jean-Claude Fernandez, Saddek Bensalem
Publikováno v: Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 6, 2000, Proceedings
Static Analysis 7th International Symposium, SAS 2000
Static Analysis 7th International Symposium, SAS 2000, Jun 2000, Santa Barbara, CA, United States. pp.58-72, ⟨10.1007/b87738⟩
Static Analysis ISBN: 9783540676683
SAS
International audience; Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that allow to treat combinations of loops are of inter
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b40e736b522e50281f60a25561b0a49
https://hal.archives-ouvertes.fr/hal-00369355/file/sas00.pdf
Zobrazit plný text záznamu
4
State Space Reduction based on Live Variables Analysis
Autor: Marius Bozga, Lucian Ghirvu, Jean-Claude Fernandez
Publikováno v: Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
Static Analysis 6th International Symposium, SAS'99
Static Analysis 6th International Symposium, SAS'99, Sep 1999, Venice, Italy. pp.164-178, ⟨10.1007/3-540-48294-6_11⟩
Static Analysis ISBN: 9783540664598
SAS
International audience; The intrinsic complexity of most protocol specifications in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model-checking techniques as a way to enhance the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e784f97b41e2749aa9093554601c4c53
https://hal.archives-ouvertes.fr/hal-00369423
Zobrazit plný text záznamu
5
IF: An Intermediate Representation for SDL and its Applications
Autor: Marius Bozga, Susanne Graf, Jean-Claude Fernandez, Jean-Pierre Krimm, Laurent Mounier, Lucian Ghirvu, Joseph Sifakis
Publikováno v: SDL '99 The Next Millennium, 9th International SDL Forum Proceedings
SDL '99 The Next Millennium, 9th International SDL Forum
SDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. pp.423-440
SDL Forum
International audience; We present work of a project for the improvement of a specification/validation toolbox integrating a commercial toolset ObjectGeode and different validation tools such as the verification tool CADP and the test sequence genera
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93f7fd7e0b77931ab4b8b76714dcec16
https://hal.archives-ouvertes.fr/hal-00374129/file/99.sdlforum.pdf
Zobrazit plný text záznamu
6
If: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
Autor: Jean-Claude Fernandez, Laurent Mounier, Lucian Ghirvu, Marius Bozga, Jean-Pierre Krimm, Susanne Graf
Publikováno v: FM’99 — Formal Methods ISBN: 9783540665878
World Congress on Formal Methods
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. pp.307-327, ⟨10.1007/3-540-48119-2⟩
International audience; Formal Description Techniques (FDT), such as LOTOS or SDL are at the base of a technology for the specification and the validation of telecommunication systems. Due to the availability of commercial tools, these formalisms are
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9c69338ff609cb3f278d0e26432b496
https://doi.org/10.1007/3-540-48119-2_19
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje