Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 12)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

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

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

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

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