Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642304729, 9783642304736
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conformance Relations for Labeled Event Structures

2012 ◽  
pp. 83-98 ◽  
Author(s):  
Hernán Ponce de León ◽  
Stefan Haar ◽  
Delphine Longuet
Keyword(s):  
Event Structures

From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap

2012 ◽  
pp. 3-18 ◽  
Author(s):  
Alessandro Armando ◽  
Giancarlo Pellegrino ◽  
Roberto Carbone ◽  
Alessio Merlo ◽  
Davide Balzarotti
Keyword(s):  
Model Checking ◽  
Security Protocols ◽  
Automated Testing

Towards Scenario-Based Testing of UML Diagrams

2012 ◽  
pp. 149-155 ◽  
Author(s):  
Petra Brosch ◽  
Uwe Egly ◽  
Sebastian Gabmeyer ◽  
Gerti Kappel ◽  
Martina Seidl ◽  
...  
Keyword(s):  
Uml Diagrams

scholarly journals Evaluating and Debugging OCL Expressions in UML Models

2012 ◽  
pp. 156-162 ◽  
Author(s):  
Jens Brüning ◽  
Martin Gogolla ◽  
Lars Hamann ◽  
Mirco Kuhlmann
Keyword(s):  
Uml Models

A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest

2012 ◽  
pp. 35-50 ◽  
Author(s):  
Matthieu Carlier ◽  
Catherine Dubois ◽  
Arnaud Gotlieb
Keyword(s):  
Testing Tool

Testing Library Specifications by Verifying Conformance Tests

2012 ◽  
pp. 51-66
Author(s):  
Joseph R. Kiniry ◽  
Daniel M. Zimmerman ◽  
Ralph Hyland

A Lesson on Structural Testing with PathCrawler-online.com

2012 ◽  
pp. 169-175 ◽  
Author(s):  
Nikolai Kosmatov ◽  
Nicky Williams ◽  
Bernard Botella ◽  
Muriel Roger ◽  
Omar Chebaro
Keyword(s):  
Structural Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document