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

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases

2010 ◽  
pp. 38-54 ◽  
Author(s):  
Martin Gogolla ◽  
Lars Hamann ◽  
Mirco Kuhlmann
Keyword(s):  
Test Cases

scholarly journals QuickSpec: Guessing Formal Specifications Using Testing

2010 ◽  
pp. 6-21 ◽  
Author(s):  
Koen Claessen ◽  
Nicholas Smallbone ◽  
John Hughes
Keyword(s):  
Formal Specifications

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

Myths in Software Engineering: From the Other Side

2010 ◽  
pp. 3-5
Author(s):  
Nachiappan Nagappan
Keyword(s):  
Software Engineering ◽  
The Other

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

scholarly journals Testing First-Order Logic Axioms in Program Verification

2010 ◽  
pp. 22-37 ◽  
Author(s):  
Ki Yung Ahn ◽  
Ewen Denney
Keyword(s):  
Program Verification ◽  
Order Logic ◽  
First Order Logic ◽  
First Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document