posted by user: XSW23edc || 553 views || tracked by 4 users: [display]

CSTVA 2016 : International workshop on Constraints in Software Testing, Verification and Analysis 2016 (CSTVA'16)

FacebookTwitterLinkedInGoogle

Link: https://easychair.org/conferences/?conf=cstvaissta2016
 
When Jul 17, 2016 - Jul 17, 2016
Where Saarbruecken, Germany
Submission Deadline Apr 22, 2016
Notification Due May 17, 2016
Final Version Due May 24, 2016
Categories    testing   verification   constraint solving   program analysis
 

Call For Papers

======================================================================
International workshop on Constraints in Software Testing, Verification
and Analysis 2016 (CSTVA'16)

A workshop of ISSTA'16, the International Symposium on Software Testing
and Analysis, Saarbruecken, Germany

July 17th, 2016
Saarbruecken, Germany

http://research.microsoft.com/cstva2016/

======================================================================


Topics, scope and aims
----------------------

Recent years have seen an increasing usage and consequent impact of
Boolean SAT, SMT and Constraint Programming (CP or CSP) solvers in
testing, verification and analysis of software systems. The primary
reason for this is the dramatic improvement in the efficiency and
expressive power of solvers. As newer and more powerful solvers are
built, software-engineering (SE) & programming-languages (PL)
researchers dramatically scale existing applications such as
symbolic-execution methods, or find unexpected applications for them,
e.g., software product lines or fault localization methods.

This workshop will bring together researchers in solvers, software test
and analysis, and other PL/SE areas, in order to raise the awareness of
constraint solving in the broader PL/SE research community, and
encourage development of new applications based on tunable, extensible,
and programmable solvers. The workshop will focus on a broad range of
topics where solvers have already made an impact, e.g.,
symbolic-execution-based testing, verification and analysis, as well as
newer applications whose use is still nascent, e.g., synthesis, software
product lines and fault localization. Submission topics include, but
are not limited to, the following:

* Constraint-based analysis of programs and models
* Constraint-based test input generation and fault localization
* Solvers and computer security
* SMT and CP solvers for testing, verification, analysis, and synthesis
* Programmable SMT and CP solvers
* Combinations of constraint solvers
* Solvers for software product lines
* Solvers and fault-localization

Following the 6 previous editions of this workshop, held first at CP,
then at the ICST conferences, and in 2014 at ICSE, this year's CSTVA
workshop will be held at ISSTA with the goal of strengthening the links
between the solver and SE & PL research communities. The workshop aims
to encourage new applications of solvers, showcase their rich extensible
APIs, and act as a forum for feedback from users to solver developers.

Important Dates
---------------

* Workshop paper submissions due April 22, 2016 (AOE),
at https://easychair.org/conferences/?conf=cstvaissta2016
* Notification to authors May 17, 2016
* Camera-ready copies of authors' papers May 24, 2016


Submission Details
------------------

We invite three categories of submissions:

Research papers: Original contributions, presenting novel ideas, results
or systems in constraint-based software engineering. Papers should not
be published or submitted elsewhere during the time of evaluation.

Tool demonstrations, short papers & fast abstracts: Propose tool
demonstrations, brief notes, or abstracts, presenting new tools, new
challenges or groundbreaking results in constraint-based software
engineering.

Presentation-only papers: describe work recently published or submitted
elsewhere and will not be included in the proceedings. We see this as a
way to provide additional access to important developments that CSTVA
attendees may be unaware of. If accepted, papers in this category cannot
be promoted to another category.

Submission site: Papers should be submitted via EasyChair at
https://easychair.org/conferences/?conf=cstvaissta2016

Submitted papers must be in PDF format, formatted according to the EPiC
Formatting Guidelines (see
http://www.easychair.org/publications/for_authors),
and must not exceed the following size limits:

- Research papers: max 10 pages for the main text, including figures,
tables and appendices, where references may occupy up to 2 additional
pages
- Tool demonstration or fast abstract: max 6 pages

Papers in all three categories will be peer-reviewed. All accepted
papers (except presentation-only) will be published in CEUR workshop
proceedings (see http://ceur-ws.org/).


Organization
------------

Christoph M. Wintersteiger, Microsoft Research, cwinter@microsoft.com
Omer Tripp, IBM T. J. Watson, New York, otripp@us.ibm.com


Workshop Steering Committee
---------------------------

Vijay Ganesh (University of Waterloo, CA)
Nicky Williams (CEA LIST, FR)


Program Committee
-----------------

Peng Liu (Hong Kong University of Science and Technology, HK)
Georg Weissenbacher (Vienna University of Technology, AT)
Roberto Bagnara (University of Parma and BUGSENG, IT)
Corina Pasareanu (CMU/NASA Ames Research Center, US)
Julian Dolby (IBM T. J. Watson Research Center, US)
Philippe Suter (IBM T. J. Watson Research Center, US)
Martin Brain (University of Oxford, UK)
Mathieu Acher (University of Rennes I/INRIA. FR)
Markus N. Rabe (University of California, Berkeley, US)
Ruben Martins (University of Texas at Austin, US)
Stefano Di Alesio (Certus Centre for Software Verification and
Validation, Simula Research Laboratory, NO)
Philipp Ruemmer (Uppsala University, SE)

Related Resources

NFM 2017   The 9th NASA Formal Methods Symposium
TMPA 2017   4th International Conference on Tools and Methods for Program Analysis
ISSTA 2017   International Symposium on Software Testing and Analysis
JFLA 2017   Journées Francophones des Langages Applicatifs
ICST 2017   IEEE International Conference on Software Testing, Verification and Validation (ICST) 2017
TAIC PART 2017   12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques
ITEQS 2017   1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
FSEN 2017   Fundamentals of Software Engineering
HVC 2016   Haifa Verification Conference
SATT - 2016   Software Algorithms, Tools, and Technologies for Model Verification and Validation