<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00391817</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-24T14:46:59+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Fast and sound random generation for automated testing and benchmarking in Objective Caml</title>
            <author role="aut">
              <persName>
                <forename type="first">Benjamin</forename>
                <surname>Canou</surname>
              </persName>
              <email type="md5">70fc4e988f628dce26dd57423e311aff</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">854249</idno>
              <idno type="halauthorid" notation="string">211876-854249</idno>
              <affiliation ref="#struct-391379"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexis</forename>
                <surname>Darrasse</surname>
              </persName>
              <email type="md5">0a84b9b3ab3d9e92a4ed18df7c70213c</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">850194</idno>
              <idno type="halauthorid" notation="string">321722-850194</idno>
              <affiliation ref="#struct-391379"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alexis</forename>
                <surname>Darrasse</surname>
              </persName>
              <email type="md5">0a84b9b3ab3d9e92a4ed18df7c70213c</email>
              <email type="domain">lip6.fr</email>
            </editor>
            <funder ref="#projanr-28495"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-06-04 18:39:46</date>
              <date type="whenModified">2023-04-11 15:16:28</date>
              <date type="whenReleased">2009-06-04 18:39:46</date>
              <date type="whenProduced">2009-08-31</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="129513">
                <persName>
                  <forename>Alexis</forename>
                  <surname>Darrasse</surname>
                </persName>
                <email type="md5">0a84b9b3ab3d9e92a4ed18df7c70213c</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00391817</idno>
            <idno type="halUri">https://hal.science/hal-00391817</idno>
            <idno type="halBibtex">canou:hal-00391817</idno>
            <idno type="halRefHtml">&lt;i&gt;2009 ACM SIGPLAN Workshop on ML&lt;/i&gt;, Aug 2009, Edinburgh, United Kingdom. pp.61-70, &lt;a target="_blank" href="https://dx.doi.org/10.1145/1596627.1596637"&gt;&amp;#x27E8;10.1145/1596627.1596637&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">2009 ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom. pp.61-70, &amp;#x27E8;10.1145/1596627.1596637&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Fast and sound random generation for automated testing and benchmarking in Objective Caml</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Benjamin</forename>
                    <surname>Canou</surname>
                  </persName>
                  <email type="md5">70fc4e988f628dce26dd57423e311aff</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">854249</idno>
                  <idno type="halauthorid" notation="string">211876-854249</idno>
                  <affiliation ref="#struct-391379"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexis</forename>
                    <surname>Darrasse</surname>
                  </persName>
                  <email type="md5">0a84b9b3ab3d9e92a4ed18df7c70213c</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">850194</idno>
                  <idno type="halauthorid" notation="string">321722-850194</idno>
                  <affiliation ref="#struct-391379"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>2009 ACM SIGPLAN Workshop on ML</title>
                  <date type="start">2009-08-31</date>
                  <date type="end">2009-09-02</date>
                  <settlement>Edinburgh</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="pp">61-70</biblScope>
                  <date type="datePub">2009</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/1596627.1596637</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Numerous software testing methods involve random generation of data structures. However, random sampling methods currently in use by testing frameworks are not satisfactory: often manually written by the programmer or at best extracted in an ad-hoc way relying on no theoretical background. On the other end, random sampling methods with good theoretical properties exist but have a too high cost to be used in testing, in particular when large inputs are needed.In this paper we describe how we applied the recently developed Boltzmann model of random generation to algebraic data types. We obtain a fully automatic way to derive random generators from Objective Caml type definitions. These generators have linear complexity and, the generation method being uniform, can also be used as a sound sampling back-end for benchmarking tools.As a result, we provide testing and benchmarking frameworks with a sound and fast generation basis. We also provide a testing and benchmarking library, available for download, showing the viability of this experiment.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-391379" status="OLD">
          <orgName>Algorithmes, Programmes et Résolution</orgName>
          <orgName type="acronym">APR</orgName>
          <date type="start">2008-10-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-28495" status="VALID">
          <idno type="anr">ANR-07-BLAN-0330</idno>
          <idno type="program">Blanc</idno>
          <orgName>GAMMA</orgName>
          <desc>Génération Aléatoire : Modèles, Méthodes et Algorithmes</desc>
          <date type="start">2007</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>