Author of the publication

Improving the Automatic Test Generation process for Coverage Analysis using CBMC.

, , , , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Available and safe message freshness detection algorithm., , , , and . IJCCBS, 1 (4): 336-363 (2010)A Freshness Detection Mechanism for Railway Applications., , , , and . PRDC, page 292-301. IEEE Computer Society, (2004)Automatic Test Generation for Coverage Analysis Using CBMC., , , , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 287-294. Springer, (2009)Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting., , , , and . J. Autom. Reasoning, 45 (4): 397-414 (2010)A Preliminary Apportionment of Safety Targets for Virtual Balise Detection using GNSS in Future Evolutions of ERTMS., , , , and . ITST, page 1-8. IEEE, (2018)Improving the Automatic Test Generation process for Coverage Analysis using CBMC., , , , , and . RCRA@AI*IA, volume 589 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Local GNSS Threat Detection Methods for Virtual Balise Placement in Railway Applications., , , , , , , , , and 1 other author(s). ITST, page 1-7. IEEE, (2018)Automatic Test Generation for Coverage Analysis of ERTMS Software., , , , and . ICST, page 303-306. IEEE Computer Society, (2009)