@inproceedings{conf/isola/SpinolaPT08,
	title = {Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project.},
	author = {Rodrigo O. Spínola and Felipe C. R. Pinto and Guilherme Horta Travassos},
	booktitle = {ISoLA},
	crossref = {conf/isola/2008},
	editor = {Tiziana Margaria and Bernhard Steffen},
	pages = {587-603},
	publisher = {Springer},
	series = {Communications in Computer and Information Science},
	url = {http://dblp.uni-trier.de/db/conf/isola/isola2008.html#SpinolaPT08},
	volume = {17},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2da5c89ab2d60e5e87529a060c19c9ede/dblp},
	description = {dblp},
	date = {2008-11-14}, ee = {http://dx.doi.org/10.1007/978-3-540-88479-8_42}, isbn = {978-3-540-88478-1},
	keywords = {dblp }
}

@inproceedings{conf/esem/NetoT08,
	title = {Surveying model based testing approaches characterization attributes.},
	author = {Arilo Claudio Dias Neto and Guilherme Horta Travassos},
	booktitle = {ESEM},
	crossref = {conf/esem/2008},
	editor = {H. Dieter Rombach and Sebastian G. Elbaum and Jürgen Münch},
	pages = {324-326},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/esem/esem2008.html#NetoT08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2370867598c31b118bf063fc943db8e93/dblp},
	description = {dblp},
	date = {2008-10-23}, ee = {http://doi.acm.org/10.1145/1414004.1414069}, isbn = {978-1-59593-971-5},
	keywords = {dblp }
}

@inproceedings{conf/esem/KalinowskiWT08,
	title = {IMPS: an experimentation based investigation of a nationwide software development reference model.},
	author = {Marcos Kalinowski and Kival Chaves Weber and Guilherme Horta Travassos},
	booktitle = {ESEM},
	crossref = {conf/esem/2008},
	editor = {H. Dieter Rombach and Sebastian G. Elbaum and Jürgen Münch},
	pages = {336-338},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/esem/esem2008.html#KalinowskiWT08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/223a9af45bfa630ac7f2ec52b49a1ec16/dblp},
	description = {dblp},
	date = {2008-10-23}, ee = {http://doi.acm.org/10.1145/1414004.1414073}, isbn = {978-1-59593-971-5},
	keywords = {dblp }
}

@inproceedings{conf/tools/WernerTR98,
	title = {An O.O. Software Engineering Training Experience within a Collaboration Project between Academia and Industry.},
	author = {Cláudia Maria Lima Werner and Guilherme Horta Travassos and Ana Regina Cavalcanti da Rocha},
	booktitle = {TOOLS (27)},
	crossref = {conf/tools/27-1998},
	pages = {290-},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/tools/tools27-1998.html#WernerTR98},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/26aec43a6fa07f3a8e9d3e0faccc36657/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.713611}, isbn = {0-8186-9096-8}, date = {2008-09-11},
	keywords = {dblp }
}

@inproceedings{conf/tools/WernerTRCSV97,
	title = {Memphis: A Reuse Based O.O. Software Development Environment.},
	author = {Cláudia Maria Lima Werner and Guilherme Horta Travassos and Ana Regina Cavalcanti da Rocha and A. M. de Cima and M. F. da Silva and Francisco M. de Vasconcelos Jr.},
	booktitle = {TOOLS (24)},
	crossref = {conf/tools/24-1997},
	pages = {182-191},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/tools/tools24-1997.html#WernerTRCSV97},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2dbb960962f2cb1b0842fe9781e7ea786/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713542}, isbn = {0-8186-8551-4}, date = {2008-09-11},
	keywords = {dblp }
}

@inproceedings{conf/esem/ConteMMT07,
	title = {Usability Evaluation Based on Web Design Perspectives.},
	author = {Tayana Uchôa Conte and Jobson Luiz Massolar da Silva and Emilia Mendes and Guilherme Horta Travassos},
	booktitle = {ESEM},
	crossref = {conf/esem/2007},
	pages = {146-155},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/esem/esem2007.html#ConteMMT07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/296d72dd90a775496250db1372634acdf/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ESEM.2007.84}, date = {2008-08-25},
	keywords = {dblp }
}

@inproceedings{conf/seke/SpinolaST06,
	title = {Towards a Conceptual Framework to Classify Ubiquitous Software Projects.},
	author = {Rodrigo O. Spinola and Jobson Luiz Massolar da Silva and Guilherme Horta Travassos},
	booktitle = {SEKE},
	crossref = {conf/seke/2006},
	editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio},
	pages = {172-175},
	url = {http://dblp.uni-trier.de/db/conf/seke/seke2006.html#SpinolaST06},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2bf861592cbfa09cc6bf4a819adc676b0/dblp},
	description = {dblp},
	isbn = {1-891706-18-7}, date = {2008-08-25},
	keywords = {dblp }
}

@inproceedings{conf/wise/ConteVSMT08,
	title = {Process Model Elicitation and a Reading Technique for Web Usability Inspections.},
	author = {Tayana Uchôa Conte and Verônica T. Vaz and Jobson Luiz Massolar da Silva and Emilia Mendes and Guilherme Horta Travassos},
	booktitle = {WISE Workshops},
	crossref = {conf/wise/2008-w},
	editor = {Sven Hartmann and Xiaofang Zhou and Markus Kirchberg},
	pages = {36-47},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/wise/wise2008w.html#ConteVSMT08},
	volume = {5176},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/23ffda8c111fcee1e1025b26a2ac66754/dblp},
	description = {dblp},
	date = {2008-08-25}, ee = {http://dx.doi.org/10.1007/978-3-540-85200-1_6}, isbn = {978-3-540-85199-8},
	keywords = {dblp }
}

@article{Neto2008,
	title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
	author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
	booktitle = {Software, IEEE},
	month = {May/June},
	note = {MR: necessarily regard the full results of the review: http://csdl2.computer.org/comp/mags/so/2008/extras/mso2008030010x1.pdf
 
Sehr ausführlicher Überblick über die aktuellen MBT-Ansätze (vor allem auf UML-basierende). Dazu zählen alle die mit folgenden Suchstrings in der Literatur gefunden worden sind: requirement/specification/use case/model/UML/finite state machine - based/driven - testing/test - approach/method/methodology/technique 

Usefulness for IST-SPL (-/0/+/++): + (extensive state of the art) 

},
	pages = {10-13},
	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4497747&arnumber=4497754&count=27&index=6},
	volume = {25},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/21664b8b1971448be9afe970825674f5d/ist_spl},
	abstract = {Model-based testing (MBT) approaches help automatically generate test cases using models extracted from software artifacts, and hold the promise to greatly affect how we build software. A review of the literature shows that certain specialized domains are applying MBT, but it does not yet seem to be a mainstream approach. The authors therefore conducted a systematic review of the literature to investigate how much evidence is available on MBT's costs and benefits, especially regarding how these techniques compare to other common testing approaches. They use these results to derive suggestions regarding what types of studies might further increase the deployment of these techniques.},
	issn = {0740-7459}, doi = {10.1109/MS.2008.64},
	keywords = {UML based model testing }
}

@article{10.1109/MS.2008.64,
	title = {Improving Evidence about Software Technologies: A Look at Model-Based Testing},
	address = {Los Alamitos, CA, USA},
	author = {Arilo Dias Neto and Rajesh Subramanyan and Marlon Vieira and Guilherme Horta Travassos and Forrest Shull},
	journal = {IEEE Software},
	number = {3},
	pages = {10-13},
	publisher = {IEEE Computer Society},
	volume = {25},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2be11b7d6c68590af0a58ff3291ef59b4/roos},
	issn = {0740-7459}, doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2008.64},
	keywords = {imported }
}