posted by organizer: cyrille_artho || 2044 views || tracked by 4 users: [display]

VST 2016 : 1st International Workshop on Validating Software Tests

FacebookTwitterLinkedInGoogle

Link: http://www.itri.aist.go.jp/events/vst-2016-cfp.html
 
When Mar 15, 2016 - Mar 15, 2016
Where Osaka
Abstract Registration Due Dec 10, 2015
Submission Deadline Dec 14, 2015
Notification Due Jan 10, 2016
Final Version Due Jan 22, 2016
Categories    software testing   test validation   test case generation   model based testing
 

Call For Papers

-------------------------------------------------------------------
Call for Papers

VST 2016

1st International Workshop on Validating Software Tests

Osaka, March 15, 2016
(satellite workshop of SANER 2016)

-------------------------------------------------------------------

*** IEEE proceedings together with SANER 2016 conference ***


Aims and Scope:

Large software projects tend to accumulate many test cases, which
can become difficult to maintain. Both automatically-generated and
human-written test cases often come without documentation, so it is
difficult to determine how a test should be adapted to a new system.

Should a passing test perhaps fail? Should a failing test be made to
pass? Are there tools and techniques that can help us find an answer to
these questions?

Unlike full program understanding and visualization, understanding a
test case typically involves a single program trace, and is therefore a
more targeted and tractable problem. Much work has been done on individual
aspects of this problem, and we hope this workshop gives a platform for
discussions and possible synergistic approaches.

Specific topics include, but are not limited to:

* Test minimization and simplification

* Fault localization

* Test visualization

* Change analysis for software tests

* Test validation

* Documentation analysis

* Bug report analysis

* Test evolution

* Test case generation, including random testing, symbolic execution, etc.

* Model-based testing

* Combinations of the topics above

The workshop will provide a platform for discussions and the exchange
of innovative ideas, so submissions on work in progress are strongly
encouraged.


Submission:

Papers are to be submitted in IEEE format, using the same template
as the main conference (SANER). Papers can be up to four pages long
(this limit is strict).

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done
via EasyChair at https://easychair.org/conferences/?conf=vst2016.
The final version of the paper must be prepared in LaTeX, adhering to
the IEEE format available at
http://www.ieee.org/conferences_events/conferences/publishing/templates.html


Publication:

Accepted papers will appear in the proceedings of SANER 2016.
IEEE requires at least one (co-)author to register and present
the paper for it to be included in the proceedings.


Important dates:

Abstract due: December 10, 2015, 23:59 UTC (final!)
Submission deadline: December 14, 2015, 23:59 UTC (final!)
Notification of acceptance: January 10, 2015
Camera-ready version due: January 22, 2016
Workshop: March 15, 2016


Venue:

Osaka, Japan (hosted by Osaka University)


Program chairs:

Cyrille Artho AIST, Japan
Eun-Hye Choi AIST, Japan
Takashi Kitamura AIST, Japan


Program committee:

Birgit Hofer Graz University of Technology, Austria
Falk Howar TU Clausthal, Germany
Eunkyoung Jee KAIST, South Korea
Huai Liu RMIT, Australia
Teng Long University of Maryland, USA
Lei Ma Chiba University, Japan
Andrea Mocci University of Lugano, Switzerland
Shin Nakajima National Institute of Informatics, Japan
Rudolf Ramler Software Competence Center Hagenberg, Austria
Martina Seidl Johannes Kepler University, Austria
Haruto Tanno Nippon Telegraph and Telephone (NTT), Japan
Tatsuhiro Tsuchiya Osaka University, Japan
Tomoyuki Yokogawa Okayama Prefectural University, Japan


Contact:

(web) http://www.itri.aist.go.jp/events/vst-2016-cfp.html
(email) c.artho@aist.go.jp and e.choi@aist.go.jp and t.kitamura@aist.go.jp

Related Resources

ISSTA 2021   International Symposium on Software Testing and Analysis
VST 2020   3rd International Workshop on Validation, Analysis and Evolution of Software Tests
CAIML 2021   2nd International Conference on Artificial Intelligence and Machine Learning
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
DaMi 2021   7th International Conference on Data Mining
SEAI--EI Compendex, Scopus 2021   2021 International Conference on Software Engineering and Artificial Intelligence (SEAI 2021)--EI Compendex, Scopus
CSIT 2021   8th International Conference on Computer Science and Information Technology
VSC @IEEE WETICE 2020   Track on Validating Software for Critical Systems (VSC) @IEEE WETICE 2020
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering