AIST event: 1st International Workshop on Validating Software Tests
Call for Papers
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 target 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.
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
All accepted papers will appear in the proceedings of SANER 2016. Note that IEEE requires at least one (co-)author to register for the conference and present the paper for it to be included in the proceedings.
- Abstract deadline: December 10, 2015, 23:59 UTC (final!)
- Submission deadline: December 14, 2015, 23:59 UTC (final!)
- Notification of acceptance: January 10, 2016
- Camera-ready version due: January 22, 2016
- Workshop: March 15, 2016
Osaka, Japan (hosted by Osaka University)
|Cyrille Artho||AIST, Japan|
|Eun-Hye Choi||AIST, Japan|
|Takashi Kitamura||AIST, Japan|
|Wing-Kwong Chan||City University of Hong Kong, China|
|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|
|Rudolf Ramler||Software Competence Center Hagenberg, Austria|
|Shin Nakajima||National Institute of Informatics, Japan|
|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|
- (web) http://www.itri.aist.go.jp/events/vst-2016-cfp.html
- (email) firstname.lastname@example.org and email@example.com and firstname.lastname@example.org