Workshop on state-space exploration for automated testing (SSEAT 2008)

Darko Marinov, Wolfram Schulte

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

SSEAT 2008 is a workshop that focuses on the recent research approaches to automated testing using state-space exploration techniques. The goal of the workshop is to bring together researchers from both industry and academia to informally discuss the latest successes and remaining challenges in this domain. One important aspect of the workshop is to discuss techniques that were tried but did not work well in certain contexts. Another important aspect is to try to identify a set of programs that can be used for comparing various tools and techniques. There will be no proceedings, but a brief summary of the workshop will appear at the workshop web page.

Original languageEnglish (US)
Title of host publicationISSTA'08
Subtitle of host publicationProceedings of the 2008 International Symposium on Software Testing and Analysis 2008
Number of pages1
DOIs
StatePublished - Dec 16 2008
Event2008 International Symposium on Software Testing and Analysis, ISSTA 2008 - Seattle, WA, United States
Duration: Jul 20 2008Jul 24 2008

Publication series

NameISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008

Other

Other2008 International Symposium on Software Testing and Analysis, ISSTA 2008
Country/TerritoryUnited States
CitySeattle, WA
Period7/20/087/24/08

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'Workshop on state-space exploration for automated testing (SSEAT 2008)'. Together they form a unique fingerprint.

Cite this