default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st USE@FM 2015: Oslo, Norway
- Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015. Electronic Notes in Theoretical Computer Science 320, Elsevier 2016 - Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko
:
Preface. 1-2 - Bernhard K. Aichernig, Martin Tappler:
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. 3-19 - Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre:
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. 21-34 - Omer Nguena-Timo, Guillaume Langelier:
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study. 35-51 - Min-Hsien Weng, Mark Utting, Bernhard Pfahringer:
Bound Analysis for Whiley Programs. 53-67
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-09 22:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
