Model-based Testing with SpecExplorer

成立时间：December 10, 2008

论文与出版物

查看方式：

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 | 作者：Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

论文与出版物项目项目
Composition of Model Programs

Margus Veanes, Colin Campbell, Wolfram Schulte

FORTE | June 2007

ISBN: 978-3-540-73195-5

论文与出版物

State Isomorphism in Model Programs with Abstract Data Structures

Margus Veanes, Juhan Ernits, Colin Campbell

FORTE'07 | June 2007

论文与出版物
XRT- Exploring Runtime for .NET Architecture and Applications

Nikolai Tillmann, Wolfram Schulte

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

论文与出版物项目项目
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

论文与出版物

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

FATES 2005 | July 2005

论文与出版物项目

Multiplexing of Partially Ordered Events

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

TestCom 2005 | June 2005

Received Best paper award.

论文与出版物

Exploration with Multiple State Groupings

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

论文与出版物项目

Model-Based Testing of Cryptographic Protocols

Dean Rosenzweig, Davor Runje, Wolfram Schulte

TGC | January 2005

ISBN: 3-540-30007-4

论文与出版物

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

论文与出版物

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

论文与出版物项目

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

论文与出版物

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

论文与出版物项目项目
Abstract Communication Model for Distributed Systems

Uwe Glässer, Yuri Gurevich, Margus Veanes

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

论文与出版物项目

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

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

论文与出版物项目项目

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

论文与出版物项目

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

论文与出版物项目项目
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

论文与出版物项目

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

论文与出版物项目项目
Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

论文与出版物项目

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 | 作者：Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

论文与出版物项目项目

Composition of Model Programs

Margus Veanes, Colin Campbell, Wolfram Schulte

FORTE | June 2007

ISBN: 978-3-540-73195-5

论文与出版物

State Isomorphism in Model Programs with Abstract Data Structures

Margus Veanes, Juhan Ernits, Colin Campbell

FORTE'07 | June 2007

论文与出版物

XRT- Exploring Runtime for .NET Architecture and Applications

Nikolai Tillmann, Wolfram Schulte

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

论文与出版物项目项目

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

论文与出版物

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

FATES 2005 | July 2005

论文与出版物项目

Multiplexing of Partially Ordered Events

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

TestCom 2005 | June 2005

Received Best paper award.

论文与出版物

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

论文与出版物

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

论文与出版物

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

论文与出版物项目

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

论文与出版物项目项目

Exploration with Multiple State Groupings

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

论文与出版物项目

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

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

论文与出版物项目项目

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

论文与出版物项目项目

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

论文与出版物项目

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

论文与出版物项目项目

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

论文与出版物项目

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

论文与出版物项目
On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

论文与出版物
Model-Based Testing of Cryptographic Protocols

Dean Rosenzweig, Davor Runje, Wolfram Schulte

TGC | January 2005

ISBN: 3-540-30007-4

论文与出版物

Abstract Communication Model for Distributed Systems

Uwe Glässer, Yuri Gurevich, Margus Veanes

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

论文与出版物项目

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 | 作者：Springer Verlag | 2008, Vol 4949

ISBN: 978-3-540-78916-1

The attached file is a preliminary version.

论文与出版物项目项目
Composition of Model Programs

Margus Veanes, Colin Campbell, Wolfram Schulte

FORTE | June 2007

ISBN: 978-3-540-73195-5

论文与出版物

State Isomorphism in Model Programs with Abstract Data Structures

Margus Veanes, Juhan Ernits, Colin Campbell

FORTE'07 | June 2007

论文与出版物

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

论文与出版物

Play to Test

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

FATES 2005 | July 2005

论文与出版物项目

Multiplexing of Partially Ordered Events

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko

TestCom 2005 | June 2005

Received Best paper award.

论文与出版物

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

论文与出版物项目

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

论文与出版物项目项目

Model-Based Testing of Cryptographic Protocols

Dean Rosenzweig, Davor Runje, Wolfram Schulte

TGC | January 2005

ISBN: 3-540-30007-4

论文与出版物

Exploration with Multiple State Groupings

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

论文与出版物项目

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

论文与出版物项目项目

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

论文与出版物项目

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

论文与出版物项目项目

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

论文与出版物项目

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

论文与出版物项目
XRT- Exploring Runtime for .NET Architecture and Applications

Nikolai Tillmann, Wolfram Schulte

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

论文与出版物项目项目

Abstract Communication Model for Distributed Systems

Uwe Glässer, Yuri Gurevich, Margus Veanes

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

论文与出版物项目

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

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

论文与出版物项目项目
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

论文与出版物

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

论文与出版物

人员

Margus Veanes

Principal Researcher

了解更多

Model-based Testing with SpecExplorer

论文与出版物

按年份分类的论文与出版物

2008

2007

2006

2005

2004

2003

2002

按研究领域分类的论文与出版物

Programming languages and software engineering

Computer vision

Systems and networking

按类型分类的论文与出版物

In Book

Inproceedings (Conference)

Article (Journal)

Tech Report

人员

Margus Veanes