The Experts below are selected from a list of 165 Experts worldwide ranked by ideXlab platform

Margus Veanes - One of the best experts on this subject based on the ideXlab platform.

  • Formal Methods and Testing - Model-based testing of object-oriented reactive systems with spec explorer
    Formal Methods and Testing, 2020
    Co-Authors: Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte, Colin Campbell, Nikolai Tillmann, Lev Nachmanson
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations.

  • On-The-Fly Testing of Reactive Systems
    2020
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Pushmeet Kohli
    Abstract:

    On-the-fly testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. It can also be called online testing using a model program, to distinguish it from offline test generation as a separate process. We describe a practical on-the-fly testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in a high level specification language AsmL or Spec#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata, and testing amounts to a game between the test tool and the implementation under test.

  • Formal Methods and Testing
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008
    Co-Authors: Anders Hessel, Marius Mikucionis, Brian Nielsen, Wolfgang Grieskamp, Arne Skou, Kim G. Larsen, Paul Pettersson, Margus Veanes, Colin Campbell, Wolfram Schulte
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations. © 2008 Springer-Verlag Berlin Heidelberg.

  • ESEC/SIGSOFT FSE - Online testing with model programs
    Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software, 2005
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Nikolai Tillmann
    Abstract:

    Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in the high level specification languages AsmL or Spec\#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata. Testing then amounts to a game between the test tool and the implementation under test.

  • FM - Testing concurrent object-oriented systems with spec explorer
    FM 2005: Formal Methods, 2005
    Co-Authors: Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
    Abstract:

    We describe a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft Product groups. The here presented techniques are used to test operating system components and Web service infrastructure.

Wolfram Schulte - One of the best experts on this subject based on the ideXlab platform.

  • .NET Contracts: Attaching Specifications to Components
    Practical Foundations of Business System Specifications, 2020
    Co-Authors: Mike Barnett, Wolfram Schulte, Nikolai Tillmann
    Abstract:

    We use AsmL to specify classes and interfaces for.NET components. The AsinL description characterizes precisely the structure and possible behavior of a component. It enables a client to effectively use it without access to the source code. AsmL specifications can also be used to perform the runtime verification of.NET components. Runtime verification dynamically monitors the behavior of a component to ensure that it conforms to its specification. Initial work with a Microsoft Product team to integrate AsmL technology is under way.

  • Formal Methods and Testing - Model-based testing of object-oriented reactive systems with spec explorer
    Formal Methods and Testing, 2020
    Co-Authors: Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte, Colin Campbell, Nikolai Tillmann, Lev Nachmanson
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations.

  • On-The-Fly Testing of Reactive Systems
    2020
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Pushmeet Kohli
    Abstract:

    On-the-fly testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. It can also be called online testing using a model program, to distinguish it from offline test generation as a separate process. We describe a practical on-the-fly testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in a high level specification language AsmL or Spec#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata, and testing amounts to a game between the test tool and the implementation under test.

  • Formal Methods and Testing
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008
    Co-Authors: Anders Hessel, Marius Mikucionis, Brian Nielsen, Wolfgang Grieskamp, Arne Skou, Kim G. Larsen, Paul Pettersson, Margus Veanes, Colin Campbell, Wolfram Schulte
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations. © 2008 Springer-Verlag Berlin Heidelberg.

  • ESEC/SIGSOFT FSE - Online testing with model programs
    Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software, 2005
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Nikolai Tillmann
    Abstract:

    Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in the high level specification languages AsmL or Spec\#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata. Testing then amounts to a game between the test tool and the implementation under test.

Colin Campbell - One of the best experts on this subject based on the ideXlab platform.

  • Formal Methods and Testing - Model-based testing of object-oriented reactive systems with spec explorer
    Formal Methods and Testing, 2020
    Co-Authors: Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte, Colin Campbell, Nikolai Tillmann, Lev Nachmanson
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations.

  • On-The-Fly Testing of Reactive Systems
    2020
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Pushmeet Kohli
    Abstract:

    On-the-fly testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. It can also be called online testing using a model program, to distinguish it from offline test generation as a separate process. We describe a practical on-the-fly testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in a high level specification language AsmL or Spec#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata, and testing amounts to a game between the test tool and the implementation under test.

  • Formal Methods and Testing
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008
    Co-Authors: Anders Hessel, Marius Mikucionis, Brian Nielsen, Wolfgang Grieskamp, Arne Skou, Kim G. Larsen, Paul Pettersson, Margus Veanes, Colin Campbell, Wolfram Schulte
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations. © 2008 Springer-Verlag Berlin Heidelberg.

  • ESEC/SIGSOFT FSE - Online testing with model programs
    Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software, 2005
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Nikolai Tillmann
    Abstract:

    Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in the high level specification languages AsmL or Spec\#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata. Testing then amounts to a game between the test tool and the implementation under test.

  • FM - Testing concurrent object-oriented systems with spec explorer
    FM 2005: Formal Methods, 2005
    Co-Authors: Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
    Abstract:

    We describe a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft Product groups. The here presented techniques are used to test operating system components and Web service infrastructure.

Nikolai Tillmann - One of the best experts on this subject based on the ideXlab platform.

  • Formal Methods and Testing - Model-based testing of object-oriented reactive systems with spec explorer
    Formal Methods and Testing, 2020
    Co-Authors: Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte, Colin Campbell, Nikolai Tillmann, Lev Nachmanson
    Abstract:

    Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology developed by the Foundations of Software Engineering group in Microsoft Research has been used since 2003. The second generation of this tool set, Spec Explorer, deployed in 2004, is now used on a daily basis by Microsoft Product groups for testing operating system components, .NET framework components and other areas. This chapter provides a comprehensive survey of the concepts of the tool and their foundations.

  • .NET Contracts: Attaching Specifications to Components
    Practical Foundations of Business System Specifications, 2020
    Co-Authors: Mike Barnett, Wolfram Schulte, Nikolai Tillmann
    Abstract:

    We use AsmL to specify classes and interfaces for.NET components. The AsinL description characterizes precisely the structure and possible behavior of a component. It enables a client to effectively use it without access to the source code. AsmL specifications can also be used to perform the runtime verification of.NET components. Runtime verification dynamically monitors the behavior of a component to ensure that it conforms to its specification. Initial work with a Microsoft Product team to integrate AsmL technology is under way.

  • ESEC/SIGSOFT FSE - Online testing with model programs
    Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software, 2005
    Co-Authors: Margus Veanes, Wolfram Schulte, Colin Campbell, Nikolai Tillmann
    Abstract:

    Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft Product groups. Model programs in Spec Explorer are written in the high level specification languages AsmL or Spec\#. We view model programs as implicit definitions of interface automata. The conformance relation between a model and an implementation under test is formalized in terms of refinement between interface automata. Testing then amounts to a game between the test tool and the implementation under test.

  • FM - Testing concurrent object-oriented systems with spec explorer
    FM 2005: Formal Methods, 2005
    Co-Authors: Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
    Abstract:

    We describe a practical model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer enables modeling and automatic testing of concurrent object-oriented systems. These systems take inputs as well as provide outputs in form of spontaneous reactions, where inputs and outputs can be arbitrary data types, including objects. Spec Explorer is being used daily by several Microsoft Product groups. The here presented techniques are used to test operating system components and Web service infrastructure.

Z. Milosevic - One of the best experts on this subject based on the ideXlab platform.

  • HICSS - Implementing B2B contracts using BizTalk
    Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001
    Co-Authors: C. Herring, Z. Milosevic
    Abstract:

    We describe our work in implementing business-to-business (B2B) contracts using Microsoft's BizTalk. BizTalk is a Microsoft Product for the development of XML based document messaging systems specifically for e-commerce. We have developed a B2B enterprise model that supports a wide range of economic transactions associated with intangible goods and services. This model guides implementation of our business contract architecture software. The model identifies specific roles such as a repository for contract schemas and instances, auditor, monitor and enforcer. A contract scenario is used to illustrate the architecture and concepts described. We go into detail on the BizTalk implementation of contracts and show how a contract can be used as the basis for policies and plans that govern the behavior of the parties involved in the contract.

  • Implementing B2B contracts using BizTalk
    Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001
    Co-Authors: C. Herring, Z. Milosevic
    Abstract:

    We describe our work in implementing business-to-business (B2B) contracts using Microsoft's BizTalk. BizTalk is a Microsoft Product for the development of XML based document messaging systems specifically for e-commerce. We have developed a B2B enterprise model that supports a wide range of economic transactions associated with intangible goods and services. This model guides implementation of our business contract architecture software. The model identifies specific roles such as a repository for contract schemas and instances, auditor, monitor and enforcer. A contract scenario is used to illustrate the architecture and concepts described. We go into detail on the BizTalk implementation of contracts and show how a contract can be used as the basis for policies and plans that govern the behavior of the parties involved in the contract.