Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030311568, 9783030311575
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Repairing Timed Automata Clock Guards through Abstraction and Testing

2019 ◽  
pp. 129-146 ◽  
Author(s):  
Étienne André ◽  
Paolo Arcaini ◽  
Angelo Gargantini ◽  
Marco Radavelli
Keyword(s):  
Timed Automata

scholarly journals Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

2019 ◽  
pp. 167-185
Author(s):  
Virgile Robles ◽  
Nikolai Kosmatov ◽  
Virgile Prevosto ◽  
Louis Rilling ◽  
Pascale Le Gall
Keyword(s):  
High Level

Learning Communicating State Machines

2019 ◽  
pp. 112-128
Author(s):  
Alexandre Petrenko ◽  
Florent Avellaneda
Keyword(s):  
State Machines

BTestBox: A Tool for Testing B Translators and Coverage of B Models

2019 ◽  
pp. 83-92 ◽  
Author(s):  
Diego de Azevedo Oliveira ◽  
Valério Medeiros ◽  
David Déharbe ◽  
Martin A. Musicante

Testing Robots Using CSP

2019 ◽  
pp. 21-38
Author(s):  
Ana Cavalcanti ◽  
James Baxter ◽  
Robert M. Hierons ◽  
Raluca Lefticaru

Property-Based Test Case Generators for Free

2019 ◽  
pp. 186-206
Author(s):  
Emanuele De Angelis ◽  
Fabio Fioravanti ◽  
Adrián Palacios ◽  
Alberto Pettorossi ◽  
Maurizio Proietti
Keyword(s):  
Test Case

Predicting and Testing Latencies with Deep Learning: An IoT Case Study

2019 ◽  
pp. 93-111
Author(s):  
Bernhard K. Aichernig ◽  
Franz Pernkopf ◽  
Richard Schumi ◽  
Andreas Wurm
Keyword(s):  
Deep Learning

When Are Software Verification Results Valid for Approximate Hardware?

2019 ◽  
pp. 3-20
Author(s):  
Tobias Isenberg ◽  
Marie-Christine Jakobs ◽  
Felix Pauck ◽  
Heike Wehrheim
Keyword(s):  
Software Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document