Logic in Computer Science (LICS 2004)

Invited Talk: Testing, Optimizaton, and Games (at LICS 2004)

Authors: Mihalis Yannakakis

Abstract

We discuss algorithmic problems arising in the testing of reactive systems, i.e. systems that interact with their environment. The goal is to design test sequences so that we can deduce desired information about the given system under test, such as whether it conforms to a given specification model, or whether it satisfies given requirement properties. Test generation can be approached from different points of view - as an optimization problem of minimizing cost and maximizing the effectiveness of the tests; as a game between tester and system under test; or as a learning problem. We touch on some of these aspects and related algorithmic questions.

BibTeX

  @InProceedings{Yannakakis-TestingOptimizatona,
    author = 	 {Mihalis Yannakakis},
    title = 	 {Testing, Optimizaton, and Games},
    booktitle =  {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004},
    year =	 2004,
    editor =	 {Harald Ganzinger},
    month =	 {July}, 
    pages =      {78--88},
    location =   {Turku, Finland}, 
    note =       {Invited Talk},
    publisher =	 {IEEE Computer Society Press}
  }