TY - GEN
T1 - Workshop on state-space exploration for automated testing (SSEAT 2008)
AU - Marinov, Darko
AU - Schulte, Wolfram
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=57449096641&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=57449096641&partnerID=8YFLogxK
U2 - 10.1145/1390630.1390672
DO - 10.1145/1390630.1390672
M3 - Conference contribution
AN - SCOPUS:57449096641
SN - 9781605580500
T3 - ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008
SP - 315
BT - ISSTA'08
T2 - 2008 International Symposium on Software Testing and Analysis, ISSTA 2008
Y2 - 20 July 2008 through 24 July 2008
ER -