From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 226247FA83 for ; Wed, 12 Apr 2017 20:11:38 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.mailfrom=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.helo=postmaster@lists.nasa.gov Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AZF7XIxSZgHz3DmRXysd/ida/c9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67Zh2At8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhlUh/ojD?= =?us-ascii?q?oMOSA//m/Zl8d8iLtXrA+9qxB6xYPffYObO+dkfq7Ffd0UW3ZBUMhSWSNPA4Oz?= =?us-ascii?q?YJYBD/IDMOhasoXwqUcCogegCgm3H+7vzyNEi2Xs0KEmyektDAfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OKkQX++v0qnH0zHDb+5Q2Tjg8ITDbxUvofWWUrJtasra1E0jGg3Kg1iT?= =?us-ascii?q?tIHpOj2Z3fkKvmae6+pvT/+vi3U9pw9zuDev2Nkjio3UhoIT11/J7id5wJ4xJd?= =?us-ascii?q?GiTk50e8WkH4FKuyGVMIt2XNovTmd1syg0zb0GvIS0fCkMyJk/3R7QdeeHfJaS?= =?us-ascii?q?7RL5SOmRIS14iGhieLKliBa/91WrxO7kVsSszVpGsClInsPRun0N1hHf8NaLR/?= =?us-ascii?q?R580u7xzqDyQTe5vlaLUwol6fXMYMtz74tmpYJrEjPAiD7lF/0gaOIbkko5+ml?= =?us-ascii?q?5uD9brn4ppKROJV4hwLkPqgzm8GyDuI1ORUUUWeB4+Szzrjj8FX5QLpUiv02lb?= =?us-ascii?q?HUsJTbJcQAuq65GBVZ0oA55BakFTiqytsYnX4ZLF5deRKHiZbmO03WLfzlE/uy?= =?us-ascii?q?gE6gnCpryv3HJLHtHJrAI3zZnLv/Y7pw71ZQyA8pwtBe45JUBKsBIPX2WkLput?= =?us-ascii?q?zYCwY1PBayw+bhD9V9y4UeVn6RDa+cLqzSt0OI5vk2L+aXY48VpTD9JOQ76P71?= =?us-ascii?q?lnI5nV4dfbK13ZsMcny4GO5pI16Dbnb2jdcBFnkKshIkTOP2kF2CTSJTZ3GqUq?= =?us-ascii?q?0g/D47DYamAZ7HRoCsm7yBwDy2HoZWZ2BDElCDC23kd4SCW/cWaSKdONVtkjIe?= =?us-ascii?q?VbK5UY8uyQmutBPmy7pgNufU9DUYtZX/1Nhp5u3ciwsy+Cd1DsSc1mGCVHt0kX?= =?us-ascii?q?kSSz832qB/u019xU2Z3ah2mfxSDcZT6O9RUgcmKZ7cyPR3C9DvWg3fYteEU1en?= =?us-ascii?q?QtSjAT4qVNI+2cUCY0d7G9W4jxDMxTCmA7EPl7aTHpw77rrc32TtJ8Z603vG1L?= =?us-ascii?q?cuj0M9TcRRMW2mh6h/+hPSBo7IlkWWjLyqer4G0C7M8meD12uOs1tCXA5+S6WW?= =?us-ascii?q?FU0ZfVbc+NTl+lvZHfjpDbU8LhAHz8eZI+1FbcOuiFxHQPLqPpPZe36wnGGrQh?= =?us-ascii?q?iNg7qKao33fW4Q2SjbFFNXrgYI4HzTMAE/Ajum8WzbSTVoE1XyZUjh9OR4tGj+?= =?us-ascii?q?VEIt0gyRc2Vl1qGp4VgTjOeVDfwUwOUfpS0jpj5oSUu7xM/cENGapgBsL5lbNJ?= =?us-ascii?q?kz5RJO02Teqgp2M5mtKbx5rlofaBhs+UXnzBwxBYJe24B+onZvxQx0Lr+e215E?= =?us-ascii?q?ejWExrj0O6bLMS/09QumLaHRxAeN/syR//JFyP0mplH+ug3tXmkm+mh8m5kOjy?= =?us-ascii?q?u2p9+CWCkWWI/qFGY+6RV+urfWSisl48XS3GZld6azrGmRiJoSGOI5x0P4LJ9k?= =?us-ascii?q?O6SeGVq3SpUX?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AVAAAxbe5YmOX5nIBSChwBAQQBAQoBA?= =?us-ascii?q?RYBAQEDAQEBCQEBAYJDPHoQVgcuBwGNcXORTJRqgjABCoJCgzaEAz8YAQEBAQE?= =?us-ascii?q?BAQEBAQESAQEBAQEICwsGKCQLgjMEAgMZBYI/BAEBGikIAhgGDgMBAgYCAQFCB?= =?us-ascii?q?AgDASQJAScEEwUPCQSHZEeBSgUJqyOLEAEBCAImhlKBXIJjgXABgmsGCAMBFoV?= =?us-ascii?q?rBZAyhXWGYgEBhwGGGIdGVYRZgyqGbZQAIYE1CBwLOlCEWwwQgWN1hmcNFwcpW?= =?us-ascii?q?gGBDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AVAAAxbe5YmOX5nIBSChwBAQQBAQoBARYBAQEDAQEBCQE?= =?us-ascii?q?BAYJDPHoQVgcuBwGNcXORTJRqgjABCoJCgzaEAz8YAQEBAQEBAQEBAQESAQEBA?= =?us-ascii?q?QEICwsGKCQLgjMEAgMZBYI/BAEBGikIAhgGDgMBAgYCAQFCBAgDASQJAScEEwU?= =?us-ascii?q?PCQSHZEeBSgUJqyOLEAEBCAImhlKBXIJjgXABgmsGCAMBFoVrBZAyhXWGYgEBh?= =?us-ascii?q?wGGGIdGVYRZgyqGbZQAIYE1CBwLOlCEWwwQgWN1hmcNFwcpWgGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,191,1488841200"; d="scan'208,217";a="220239418" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Apr 2017 20:11:35 +0200 Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 507DC602CDB; Wed, 12 Apr 2017 14:09:38 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id SigQw1dh79ym; Wed, 12 Apr 2017 14:09:38 -0400 (EDT) Received: from LISTS.nasa.gov (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 121E26029BA; Wed, 12 Apr 2017 14:09:36 -0400 (EDT) X-Original-To: fm-announcements@lists.nasa.gov Delivered-To: fm-announcements@lists.nasa.gov Received: from localhost (localhost [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 4100760194E for ; Wed, 12 Apr 2017 14:09:33 -0400 (EDT) Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id fp8O3dh2wIA3 for ; Wed, 12 Apr 2017 14:09:33 -0400 (EDT) Received: from mail.jpl.nasa.gov (smtp.jpl.nasa.gov [128.149.139.109]) by lists.nasa.gov (Postfix) with ESMTPS id DE5636009A8 for ; Wed, 12 Apr 2017 14:09:32 -0400 (EDT) Received: from mail.jpl.nasa.gov (ap-ehub-sp02.jpl.nasa.gov [128.149.137.149]) by smtp.jpl.nasa.gov (Sentrion-MTA-4.3.1/Sentrion-MTA-4.3.1) with ESMTP id v3CI9UUF001277 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256 bits) verified NO) for ; Wed, 12 Apr 2017 11:09:31 -0700 Received: from AP-EMBX-SP20.RES.AD.JPL ([169.254.8.164]) by ap-ehub-sp02.RES.AD.JPL ([fe80::dd85:7b07:1e36:7e3c%15]) with mapi id 14.03.0319.002; Wed, 12 Apr 2017 11:09:29 -0700 From: "Havelund, Klaus (348B)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: ISSTA 2017 Demonstrations - Call for Papers Thread-Index: AQHSs7ftcBwLgbrkn0KRXw6KXM5Dhw== Date: Wed, 12 Apr 2017 18:09:28 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/14.7.2.170228 x-originating-ip: [207.151.104.72] MIME-Version: 1.0 X-Source-Sender: Klaus.Havelund@jpl.nasa.gov X-AUTH: Authorized X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.14 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============3221588367007289206==" Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: fm-announcements-bounces@lists.nasa.gov X-Validation-by: klaus.havelund@jpl.nasa.gov Subject: [Caml-list] [fm-announcements] ISSTA 2017 Demonstrations - Call for Papers --===============3221588367007289206== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_D513BB6319ACAklaushavelundjplnasagov_" --_000_D513BB6319ACAklaushavelundjplnasagov_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable ISSTA 2017 Demonstrations http://conf.researchr.org/track/issta-2017/issta-2017-demos Call for Papers The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysis tools that aid either practice, research, or both. Submissions may describe early prototypes of tools, mature tools, and everything inbetween. To help disseminate tools to the community, we encourage submissions describing previously unpublished tools whose underlying techniques may have already been published. Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional research papers published at software engineering venues, including ISSTA. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including implementation and usage details, data models and representations, and APIs for tool and data access. Authors of regular research papers at ISSTA or other conferences are thus also encouraged to submit an accompanying demonstration paper. However, the demonstration papers must be original, and the tools must not have been previously demonstrated or be concurrently under review at ISSTA or at another venue. The tool demonstrations must communicate clearly the following information: the tool=EDs envisioned users, the software testing and analysis challenge(s) the tool addresses, how the tool is used, either results of conducted validation studies or the design of planned= studies. Evaluation Each submission will be reviewed by at least three members of the demonstra= tions selection committee. The evaluation criteria include: the relevance of the proposed demonstration to the ISSTA audience, the technical soundness of the demonstrated tool, the originality of the underlying ideas, the quality of its presentation, the comparison to related work. How to Submit Submissions must conform to the ACM Conference Format. A demonstration submission may not exceed four pages, including all text, figures, and references. A submission may not have been previously published in a demonstration form. The paper submission must be in PDF. The Demonstrations track will be using the single-blind reviewing model, so the submitted PDFs should identify the authors. Submit your papers via the EasyChair ISSTA Demonstrations 2017 submission website by May 2, 2017, 23:59:59 AoE. Important Dates: (there will be no extensions) Submission deadline: May 2, 2017, 23:59:59 AoE. Notification date: May 20, 2017 Camera-ready version deadline: May 27, 2017 Organization For further information, please email the chairs at isstatools2017@easychai= r.org Co-Chairs: Yuriy Brun, University of Massachusetts, Amherst Neha Rungta, Amazon Web Services, Inc. Program Committee: Ivan Beschastnikh, University of British Columbia Milos Gligoric, The University of Texas at Austin Jeff Huang, Texas A&M University Claire Le Goues, Carnegie Mellon University Eric Mercer, Brigham Young University Suzette Person, University of Nebraska=F1Lincoln Justyna Petke, University College London Federica Sarro, University College London Elena Sherman, Boise State University Kathryn T. Stolee, North Carolina State University Oksana Tkachuk, NASA=EDs Ames Research Center --_000_D513BB6319ACAklaushavelundjplnasagov_ Content-Type: text/html; charset="iso-8859-1" Content-ID: <9B072ED20C4DD049953EC081975E7E4B@ad.jpl> Content-Transfer-Encoding: quoted-printable

ISSTA 2017 Demonstrations

  http://conf.researchr.org/track/= issta-2017/issta-2017-demos

Call for Papers

The ACM SIGSOFT International Symposium= on Software Testing and
Analysis (ISSTA) 2017 Demonstrations Tr= ack serves as a venue for
publishing and presenting advances in s= oftware testing and analysis
tools that aid either practice, researc= h, or both. Submissions may
describe early prototypes of tools, mat= ure tools, and everything
inbetween. To help disseminate tools to= the community, we encourage
submissions describing previously unpub= lished tools whose underlying
techniques may have already been publis= hed.

Highlighting scientific contributions t= hrough concrete artifacts is a
critical supplement to the traditional = research papers published at
software engineering venues, including = ISSTA. A demonstration provides
the opportunity to communicate how the = scientific approach has been
implemented or how a specific hypothesi= s has been assessed, including
implementation and usage details, data = models and representations, and
APIs for tool and data access. Authors = of regular research papers at
ISSTA or other conferences are thus als= o encouraged to submit an
accompanying demonstration paper. Howev= er, the demonstration papers
must be original, and the tools must no= t have been previously
demonstrated or be concurrently under r= eview at ISSTA or at another
venue.

The tool demonstrations must communicat= e clearly the following information:

    the tool=EDs envisioned u= sers,
    the software testing and = analysis challenge(s) the tool addresses,
    how the tool is used,
    either results of conduct= ed validation studies or the design of planned studies.

Evaluation

Each submission will be reviewed by at = least three members of the demonstrations selection committee. The evaluati= on criteria include:

    the relevance of the prop= osed demonstration to the ISSTA audience,
    the technical soundness o= f the demonstrated tool,
    the originality of the un= derlying ideas,
    the quality of its presen= tation,
    the comparison to related= work.

How to Submit

Submissions must conform to the ACM Con= ference Format. A demonstration
submission may not exceed four pages, i= ncluding all text, figures, and
references. A submission may not have b= een previously published in a
demonstration form. The paper submissio= n must be in PDF. The
Demonstrations track will be using the = single-blind reviewing model,
so the submitted PDFs should identify t= he authors.

Submit your papers via the EasyChair IS= STA Demonstrations 2017
submission website by May 2, 2017, 23:5= 9:59 AoE.  Important Dates:
(there will be no extensions)

    Submission deadline: May = 2, 2017, 23:59:59 AoE.
    Notification date: May 20= , 2017
    Camera-ready version dead= line: May 27, 2017

Organization

For further information, please email t= he chairs at isstatools2017@easychair.org
Co-Chairs:

    Yuriy Brun, University of= Massachusetts, Amherst
    Neha Rungta, Amazon Web S= ervices, Inc.

Program Committee:

    Ivan Beschastnikh, Univer= sity of British Columbia
    Milos Gligoric, The Unive= rsity of Texas at Austin
    Jeff Huang, Texas A&M= University
    Claire Le Goues, Carnegie= Mellon University
    Eric Mercer, Brigham Youn= g University
    Suzette Person, Universit= y of Nebraska=F1Lincoln
    Justyna Petke, University= College London
    Federica Sarro, Universit= y College London
    Elena Sherman, Boise Stat= e University
    Kathryn T. Stolee, North = Carolina State University
    Oksana Tkachuk, NASA=EDs = Ames Research Center



--_000_D513BB6319ACAklaushavelundjplnasagov_-- --===============3221588367007289206== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --- To opt-out from this mailing list, send an email to fm-announcements-request@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner@lists.nasa.gov --===============3221588367007289206==--