default search action

combined dblp search
author search
venue search
publication search

ask others

VST@SANER 2016: Suita, Osaka, Japan

> Home > Conferences and Workshops > SANER

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ ieee.org
  - details & citations
- export record
  dblp key:
  - conf/wcre/2016vst
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/2016vst
First International Workshop on Validating Software Tests, VST@SANER 2016, Osaka, Japan, March 15, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1855-0

Model Inference

- view
  authority control:
- export record
  dblp key:
  - conf/wcre/PetersHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/PetersHR16
Henrik Peters, Falk Howar, Andreas Rausch:
Towards Inferring Environment Models for Control Functions from Recorded Signal Data. 1-4
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/MaruganSEH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/MaruganSEH16
Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck:
Discovering and Validating Concurrency Specification from Test Executions. 5-8
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/RahmanNKD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/RahmanNKD16
Md. Mazder Rahman, Konstantin Nasartschuk, Kenneth B. Kent, Gerhard W. Dueck:
Trace Files for Automatic Memory Management Systems. 9-12

Metrics

- view
  authority control:
- export record
  dblp key:
  - conf/wcre/VidacsHTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/VidacsHTB16
László Vidács, Ferenc Horváth, Dávid Tengeri, Árpád Beszédes:
Assessing the Test Suite of a Large System Based on Code Coverage, Efficiency and Uniqueness. 13-16
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/BaloghGBG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/BaloghGBG16
Gergö Balogh, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy:
Using the City Metaphor for Visualizing Test-Related Metrics. 17-20
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/ArthoGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/ArthoGR16
Cyrille Artho, Quentin Gros, Guillaume Rousset:
Precondition Coverage in Software Testing. 21-24
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/RamlerMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/RamlerMP16
Rudolf Ramler, Michael Moser, Josef Pichler:
Automated Static Analysis of Unit Test Code. 25-28
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/ArthoM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/ArthoM16
Cyrille Artho, Lei Ma:
Classification of Randomly Generated Test Cases. 29-32

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.