Formal Methods and Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540789161, 9783540789178
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

2008 ◽  
pp. 39-76 ◽  
Author(s):  
Margus Veanes ◽  
Colin Campbell ◽  
Wolfgang Grieskamp ◽  
Wolfram Schulte ◽  
Nikolai Tillmann ◽  
...  
Keyword(s):  
Reactive Systems ◽  
Object Oriented ◽  
Model Based ◽  
Model Based Testing

Coverage Criteria for State Based Specifications

2008 ◽  
pp. 118-156 ◽  
Author(s):  
Paul Ammann ◽  
Jeff Offutt ◽  
Wuzhi Xu
Keyword(s):  
Coverage Criteria

Modelling the Effects of Combining Diverse Software Fault Detection Techniques

2008 ◽  
pp. 345-366 ◽  
Author(s):  
Bev Littlewood ◽  
Peter Popov ◽  
Lorenzo Strigini ◽  
Nick Shryane
Keyword(s):  
Fault Detection ◽  
Detection Techniques ◽  
Software Fault

Testing in the Distributed Test Architecture

2008 ◽  
pp. 157-183 ◽  
Author(s):  
Jessica Chen ◽  
Robert M. Hierons ◽  
Hasan Ural
Keyword(s):  
Distributed Test ◽  
Test Architecture

scholarly journals Testability Transformation – Program Transformation to Improve Testability

2008 ◽  
pp. 320-344 ◽  
Author(s):  
Mark Harman ◽  
André Baresel ◽  
David Binkley ◽  
Robert Hierons ◽  
Lin Hu ◽  
...  
Keyword(s):  
Program Transformation

Testing Real-Time Systems Using UPPAAL

2008 ◽  
pp. 77-117 ◽  
Author(s):  
Anders Hessel ◽  
Kim G. Larsen ◽  
Marius Mikucionis ◽  
Brian Nielsen ◽  
Paul Pettersson ◽  
...  
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

The Test Technology TTCN-3

2008 ◽  
pp. 292-319 ◽  
Author(s):  
Ina Schieferdecker ◽  
Jens Grabowski ◽  
Theofanis Vassiliou-Gioles ◽  
George Din
Keyword(s):  
Test Technology
Load More ...
Sign in / Sign up

Export Citation Format

Share Document