Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319212142, 9783319212159
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Coverage of OCL Operation Specifications and Invariants

2015 ◽  
pp. 191-207 ◽  
Author(s):  
Mathias Soeken ◽  
Julia Seiter ◽  
Rolf Drechsler

scholarly journals Software Validation via Model Animation

2015 ◽  
pp. 92-108 ◽  
Author(s):  
Aaron M. Dutle ◽  
César A. Muñoz ◽  
Anthony J. Narkawicz ◽  
Ricky W. Butler
Keyword(s):  
Software Validation

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study

2015 ◽  
pp. 76-91 ◽  
Author(s):  
Anamaria M. Moreira ◽  
Cleverton Hentz ◽  
David Déharbe ◽  
Ernesto C. B. de Matos ◽  
João B. Souza Neto ◽  
...  
Keyword(s):  
Code Generation ◽  
B Method

Fast Model-Based Fault Localisation with Test Suites

2015 ◽  
pp. 38-57 ◽  
Author(s):  
Geoff Birch ◽  
Bernd Fischer ◽  
Michael R. Poppleton
Keyword(s):  
Model Based ◽  
Test Suites
Load More ...
Sign in / Sign up

Export Citation Format

Share Document