Model-based Testing with SpecExplorer

Established: December 10, 2008

Publications

View by:

- 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
- State Isomorphism in Model Programs with Abstract Data Structures
  
  Margus Veanes, Juhan Ernits, Colin Campbell
  
  FORTE'07 | June 2007
  
  Publication
- Composition of Model Programs
  
  Margus Veanes, Colin Campbell, Wolfram Schulte
  
  FORTE | June 2007
  
  ISBN: 978-3-540-73195-5
  
  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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- State Isomorphism in Model Programs with Abstract Data Structures
  
  Margus Veanes, Juhan Ernits, Colin Campbell
  
  FORTE'07 | June 2007
  
  Publication
- Composition of Model Programs
  
  Margus Veanes, Colin Campbell, Wolfram Schulte
  
  FORTE | June 2007
  
  ISBN: 978-3-540-73195-5
  
  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
- 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
- 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
- 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
- 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
- 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
- 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
- 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

People

Margus Veanes

Principal Researcher

Learn more