Tests and Proofs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642139765, 9783642139772
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Syntactic Abstraction of B Models to Generate Tests

2010 ◽  
pp. 151-166 ◽  
Author(s):  
Jacques Julliand ◽  
Nicolas Stouls ◽  
Pierre-christophe Bué ◽  
Pierre-Alain Masson
Keyword(s):  
Syntactic Abstraction

Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay

2010 ◽  
pp. 61-76 ◽  
Author(s):  
Christoph Gladisch ◽  
Shmuel Tyszberowicz ◽  
Bernhard Beckert ◽  
Amiram Yehudai
Keyword(s):  
Unit Tests

Building a Test-Ready Abstraction of a Behavioral Model Using CLP

2010 ◽  
pp. 167-182
Author(s):  
Pierre-Christophe Bué ◽  
Frédéric Dadeau ◽  
Adrien de Kermadec ◽  
Fabrice Bouquet
Keyword(s):  
Behavioral Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document