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

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs

2015 ◽  
pp. 137-154 ◽  
Author(s):  
Olga Grinchtein ◽  
Mats Carlsson ◽  
Justin Pearson
Keyword(s):  
Optimisation Model

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study

2015 ◽  
pp. 129-136 ◽  
Author(s):  
Martin Gogolla ◽  
Lars Hamann ◽  
Frank Hilken ◽  
Matthias Sedlmeier
Keyword(s):  
Experience Report ◽  
Model Consistency

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

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

scholarly journals Test Case Generation for Concurrent Systems Using Event Structures

2015 ◽  
pp. 19-37 ◽  
Author(s):  
Konstantinos Athanasiou ◽  
Hernán Ponce-de-León ◽  
Stefan Schwoon
Keyword(s):  
Concurrent Systems ◽  
Test Case Generation ◽  
Test Case ◽  
Event Structures

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document