|
Published Articles >> Table of Contents >> Abstract
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)
pp. 78-88
Testing, Optimizaton, and Games
Mihalis Yannakakis, Columbia University, New York, NY
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319602
Send link to a friend
| 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.
|
 Additional Information
|
Citation:
Mihalis Yannakakis,
"Testing, Optimizaton, and Games,"
lics,
pp. 78-88,
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04),
2004
|
|
