%0 Conference Paper %1 Santos-Neto2008 %A de Alcântara dos Santos Neto, Pedro %A Resende, Rodolfo F. %A da Silva e Pádua, Clarindo Isa\'ıas Pereira %B SAC %D 2008 %E Wainwright, Roger L. %E Haddad, Hisham %I ACM %K MBT evaluation experimental_study information_system model-based testing %P 770-776 %T An evaluation of a model-based testing method for information systems %X This work presents an experimental study of a model-based testing method. We evaluate the use of the method and its tool, during the development of part of an information system. In this study we veried that the use of the method can generate benets related to cost reduction, from the reduction of test eort and, at the same time, benets related to test quality, from the failure detection capability improvement. %@ 978-1-59593-753-7

@inproceedings{Santos-Neto2008, abstract = {This work presents an experimental study of a model-based testing method. We evaluate the use of the method and its tool, during the development of part of an information system. In this study we veried that the use of the method can generate benets related to cost reduction, from the reduction of test eort and, at the same time, benets related to test quality, from the failure detection capability improvement.}, added-at = {2010-01-12T15:44:18.000+0100}, author = {de Alc{\^a}ntara dos Santos Neto, Pedro and Resende, Rodolfo F. and da Silva e P{\'a}dua, Clarindo Isa\'{\i}as Pereira}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/283cbdf7201d63e033b081d81083f6432/ist_spl}, booktitle = {SAC}, crossref = {DBLP:conf/sac/2008}, description = {Der Nutzen des Papers ist nicht besonders groß. Zur Orientierung können angewendete Evaluierungskriterien betrachtet werden.}, editor = {Wainwright, Roger L. and Haddad, Hisham}, ee = {http://doi.acm.org/10.1145/1363686.1363865}, interhash = {d53bf18dc369183d3c9d88c3d3268140}, intrahash = {83cbdf7201d63e033b081d81083f6432}, isbn = {978-1-59593-753-7}, keywords = {MBT evaluation experimental_study information_system model-based testing}, pages = {770-776}, publisher = {ACM}, timestamp = {2010-01-12T15:44:18.000+0100}, title = {An evaluation of a model-based testing method for information systems}, year = 2008 }