%0 Conference Paper %1 Bertolino2003 %A Bertolino, Antonia %B Abstract State Machines %D 2003 %K fundamentals oracle software specification-based test testing %P 1-21 %T Software Testing Research and Practice %X The paper attempts to provide a comprehensive view of the field of software testing. The objective is to put all the relevant issues into a unified context, although admittedly the overview is biased towards my own research and expertise. In view of the vastness of the field, for each topic problems and approaches are only briefly tackled, with appropriate references provided to dive into them. I do not mean to give here a complete survey of software testing. Rather I intend to show how an unwieldy mix of theoretical and technical problems challenge software testers, and that a large gap exists between the state of the art and of the practice.

@inproceedings{Bertolino2003, abstract = {The paper attempts to provide a comprehensive view of the field of software testing. The objective is to put all the relevant issues into a unified context, although admittedly the overview is biased towards my own research and expertise. In view of the vastness of the field, for each topic problems and approaches are only briefly tackled, with appropriate references provided to dive into them. I do not mean to give here a complete survey of software testing. Rather I intend to show how an unwieldy mix of theoretical and technical problems challenge software testers, and that a large gap exists between the state of the art and of the practice.}, added-at = {2008-06-02T10:38:22.000+0200}, author = {Bertolino, Antonia}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/230e1344b77d4015c230b3c15ea2d9e3a/ist_spl}, booktitle = {Abstract State Machines}, crossref = {DBLP:conf/asm/2003}, ee = {http://link.springer.de/link/service/series/0558/bibs/2589/25890001.htm}, interhash = {b1099630a6d747867b4d41125e24306b}, intrahash = {30e1344b77d4015c230b3c15ea2d9e3a}, keywords = {fundamentals oracle software specification-based test testing}, note = {MR: Gute Zusammenfassung der Grundlagen über Testen, aber gleichzeitig auch Überblick zum State-Of-The-Art. Für IST-SPL: Wertvoller Überblick über spezifikationsbasierte Testmethoden und kurz zum Testorakel-Problem. }, pages = {1-21}, timestamp = {2008-06-02T10:38:24.000+0200}, title = {Software Testing Research and Practice}, year = 2003 }