Record: found
Abstract: not found
Book Chapter: not found

Specifying and Generating Test Cases Using Observer Automata

other

Author(s): Johan Blom , Anders Hessel , Bengt Jonsson , Paul Pettersson

Publication date (Print): 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 22

Record: found
Abstract: not found
Article: not found

The model checker SPIN

G.J. Holzmann (1997)

0 comments Cited 226 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi (1997)

0 comments Cited 48 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Synthesizing Monitors for Safety Properties

Klaus Havelund, Grigore Rosu (2002)

0 comments Cited 39 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 125-139

DOI: 10.1007/978-3-540-31848-4_9

SO-VID: 88a4748c-5e02-4716-838e-579bcfec5429

History

Data availability:

Specifying and Generating Test Cases Using Observer Automata

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 22

The model checker SPIN

Uppaal in a nutshell

Synthesizing Monitors for Safety Properties

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,648

Cited by 2