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 16

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

Kodkod: A Relational Model Finder

Emina Torlak, Daniel Jackson (2007)

0 comments Cited 40 times – based on 0 reviews

Bookmark

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

Weaving Executability into Object-Oriented Meta-languages

Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel (2005)

0 comments Cited 17 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Korat

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov (2002)

0 comments Cited 15 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 148-164

DOI: 10.1007/978-3-642-02408-5_11

SO-VID: a2fc6d19-f993-4a72-b8db-a026ef783742

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 15

See all cited by

Automatic Model Generation Strategies for Model Transformation Testing

Read this book at

Related collections

Global Health Next Generation Network

Most cited references 16

Kodkod: A Relational Model Finder

Weaving Executability into Object-Oriented Meta-languages

Korat

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,560

Cited by 15