![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
VST@SANER (CSMR-WCRE) 2016: Suita, Osaka, Japan
- 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
- Henrik Peters, Falk Howar
, Andreas Rausch:
Towards Inferring Environment Models for Control Functions from Recorded Signal Data. 1-4 - 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 - Md. Mazder Rahman, Konstantin Nasartschuk, Kenneth B. Kent
, Gerhard W. Dueck:
Trace Files for Automatic Memory Management Systems. 9-12
Metrics
- 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 - Gergö Balogh
, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy:
Using the City Metaphor for Visualizing Test-Related Metrics. 17-20 - Cyrille Artho, Quentin Gros, Guillaume Rousset:
Precondition Coverage in Software Testing. 21-24 - Rudolf Ramler, Michael Moser, Josef Pichler:
Automated Static Analysis of Unit Test Code. 25-28 - Cyrille Artho, Lei Ma:
Classification of Randomly Generated Test Cases. 29-32
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.