1st International Workshop on Validating Software Tests (Event)

Activity: Membership/FunctionProgram committee

Description

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.
Period15 Mar 2016
Event title1st International Workshop on Validating Software Tests
Event typeOther
LocationJapanShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics