Model-based Testing with SpecExplorer

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

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

Publication Project Project

Composition of Model Programs

Margus Veanes, Colin Campbell, Wolfram Schulte

FORTE | June 2007

ISBN: 978-3-540-73195-5

Publication

State Isomorphism in Model Programs with Abstract Data Structures

Margus Veanes, Juhan Ernits, Colin Campbell

FORTE'07 | June 2007

Publication

XRT- Exploring Runtime for .NET Architecture and Applications

Nikolai Tillmann, Wolfram Schulte

Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26

Publication Project Project

Action Machines – Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

Nikolai Tillmann, Wolfram Schulte, Margus Veanes

Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005

Quality Software, 2005. (QSIC 2005). Fifth International Conference on

ISBN: 0-7695-2399-4

Publication

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

FATES 2005 | July 2005

Publication Project

Multiplexing of Partially Ordered Events

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

TestCom 2005 | June 2005

Received Best paper award.

Publication

Exploration with Multiple State Groupings

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Publication Project

Model-Based Testing of Cryptographic Protocols

Dean Rosenzweig, Davor Runje, Wolfram Schulte

TGC | January 2005

ISBN: 3-540-30007-4

Publication

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Publication

Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

ESEC/SIGSOFT FSE | January 2005

ESEC/SIGSOFT FSE

ISBN: 1-59593-014-0

Publication Project

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

MSR-TR-2005-04 | January 2005

A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46

Publication

Testing Concurrent Object-Oriented Systems with Spec Explorer

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

January 2005

ISBN: 3-540-27882-6

Publication Project Project

Abstract Communication Model for Distributed Systems

Uwe Glässer, Yuri Gurevich, Margus Veanes

IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472

Publication Project

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036

Publication Project Project

Optimal Strategies for Testing Nondeterministic Systems

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

ISSTA 2004 | January 2004

ISBN: 1-58113-820-2

Publication Project

Towards a Tool Environment for Model-Based Testing with AsmL

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

FATES 2003 | January 2004

Publication Project Project

Combined Algorithm for Approximating a Finite State Abstraction of a Large System

Rostislav Yavorsky, Margus Veanes

ICSE 2003/Scenarios Workshop | January 2003

ICSE 2003/Scenarios Workshop

Publication Project

Model-Based Testing with AsmL .NET

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

1st European Conference on Model-Driven Software Engineering | January 2003

Publication Project Project

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

Publication Project

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

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

Publication Project Project

Composition of Model Programs

Margus Veanes, Colin Campbell, Wolfram Schulte

FORTE | June 2007

ISBN: 978-3-540-73195-5

Publication

State Isomorphism in Model Programs with Abstract Data Structures

Margus Veanes, Juhan Ernits, Colin Campbell

FORTE'07 | June 2007

Publication

XRT- Exploring Runtime for .NET Architecture and Applications

Nikolai Tillmann, Wolfram Schulte

Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26

Publication Project Project

Action Machines – Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

Nikolai Tillmann, Wolfram Schulte, Margus Veanes

Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005

Quality Software, 2005. (QSIC 2005). Fifth International Conference on

ISBN: 0-7695-2399-4

Publication

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

FATES 2005 | July 2005

Publication Project

Multiplexing of Partially Ordered Events

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

TestCom 2005 | June 2005

Received Best paper award.

Publication

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Publication

Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

ESEC/SIGSOFT FSE | January 2005

ESEC/SIGSOFT FSE

ISBN: 1-59593-014-0

Publication Project

Testing Concurrent Object-Oriented Systems with Spec Explorer

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

January 2005

ISBN: 3-540-27882-6

Publication Project Project

Exploration with Multiple State Groupings

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Publication Project

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

MSR-TR-2005-04 | January 2005

A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46

Publication

Optimal Strategies for Testing Nondeterministic Systems

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

ISSTA 2004 | January 2004

ISBN: 1-58113-820-2

Publication Project

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036

Publication Project Project

Towards a Tool Environment for Model-Based Testing with AsmL

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

FATES 2003 | January 2004

Publication Project Project

Combined Algorithm for Approximating a Finite State Abstraction of a Large System

Rostislav Yavorsky, Margus Veanes

ICSE 2003/Scenarios Workshop | January 2003

ICSE 2003/Scenarios Workshop

Publication Project

Model-Based Testing with AsmL .NET

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

1st European Conference on Model-Driven Software Engineering | January 2003

Publication Project Project

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

Publication Project

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Publication

Model-Based Testing of Cryptographic Protocols

Dean Rosenzweig, Davor Runje, Wolfram Schulte

TGC | January 2005

ISBN: 3-540-30007-4

Publication

Abstract Communication Model for Distributed Systems

Uwe Glässer, Yuri Gurevich, Margus Veanes

IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472

Publication Project

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

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Formal Methods and Testing | Published by Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

Publication Project Project

Composition of Model Programs

Margus Veanes, Colin Campbell, Wolfram Schulte

FORTE | June 2007

ISBN: 978-3-540-73195-5

Publication

State Isomorphism in Model Programs with Abstract Data Structures

Margus Veanes, Juhan Ernits, Colin Campbell

FORTE'07 | June 2007

Publication

Action Machines – Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

Nikolai Tillmann, Wolfram Schulte, Margus Veanes

Quality Software, 2005. (QSIC 2005). Fifth International Conference on | September 2005

Quality Software, 2005. (QSIC 2005). Fifth International Conference on

ISBN: 0-7695-2399-4

Publication

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

FATES 2005 | July 2005

Publication Project

Multiplexing of Partially Ordered Events

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

TestCom 2005 | June 2005

Received Best paper award.

Publication

Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

ESEC/SIGSOFT FSE | January 2005

ESEC/SIGSOFT FSE

ISBN: 1-59593-014-0

Publication Project

Testing Concurrent Object-Oriented Systems with Spec Explorer

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

January 2005

ISBN: 3-540-27882-6

Publication Project Project

Model-Based Testing of Cryptographic Protocols

Dean Rosenzweig, Davor Runje, Wolfram Schulte

TGC | January 2005

ISBN: 3-540-30007-4

Publication

Exploration with Multiple State Groupings

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Publication Project

Optimal Strategies for Testing Nondeterministic Systems

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

ISSTA 2004 | January 2004

ISBN: 1-58113-820-2

Publication Project

Towards a Tool Environment for Model-Based Testing with AsmL

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

FATES 2003 | January 2004

Publication Project Project

Combined Algorithm for Approximating a Finite State Abstraction of a Large System

Rostislav Yavorsky, Margus Veanes

ICSE 2003/Scenarios Workshop | January 2003

ICSE 2003/Scenarios Workshop

Publication Project

Model-Based Testing with AsmL .NET

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

1st European Conference on Model-Driven Software Engineering | January 2003

Publication Project Project

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

Publication Project

XRT- Exploring Runtime for .NET Architecture and Applications

Nikolai Tillmann, Wolfram Schulte

Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26

Publication Project Project

Abstract Communication Model for Distributed Systems

Uwe Glässer, Yuri Gurevich, Margus Veanes

IEEE Transactions on Software Engineering | July 2004, Vol 30(7): pp. 458-472

Publication Project

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Journal of Information and Software Technology | January 2004, Vol 46: pp. 1027-1036

Publication Project Project

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Publication

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

MSR-TR-2005-04 | January 2005

A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46

Publication