Search dblp for Publications

export results for "toc:db/conf/testen/testen1992.bht:"

 download as .bib file

@inproceedings{DBLP:conf/testen/Eichler92,
  author       = {Lutz Eichler},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Testen paralleler Betriebssysteme},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {119--129},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_11},
  doi          = {10.1007/978-3-642-77747-9\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Eichler92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Haselhorst92,
  author       = {Ralf Haselhorst},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Der Software-Analyse-Baukasten - Ein Bericht aus der universit{\"{a}}ren
                  Ausbildung},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {81--90},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_7},
  doi          = {10.1007/978-3-642-77747-9\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Haselhorst92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Hauptmann92,
  author       = {Klaus Hauptmann},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Abnahmetest gro{\ss}er Systeme - Methoden, Organisation und Werkzeuge},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {102--110},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_9},
  doi          = {10.1007/978-3-642-77747-9\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Hauptmann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/HerrmannG92,
  author       = {Jens Herrmann and
                  Klaus Grimm},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Klassifikation von Software-Testmethoden},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {26--34},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_2},
  doi          = {10.1007/978-3-642-77747-9\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/HerrmannG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Kneuper92,
  author       = {Ralf Kneuper},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Validation und Verifikation von Software durch symbolische Ausf{\"{u}}hrung},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {155--167},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_14},
  doi          = {10.1007/978-3-642-77747-9\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Kneuper92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Kreowski92,
  author       = {Hans{-}J{\"{o}}rg Kreowski},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {130--142},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_12},
  doi          = {10.1007/978-3-642-77747-9\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Kreowski92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Liggesmeyer92,
  author       = {Peter Liggesmeyer},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Testen, Analysieren und Verifizieren von Software - eine klassifizierende
                  {\"{U}}bersicht der Verfahren},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_1},
  doi          = {10.1007/978-3-642-77747-9\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Liggesmeyer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/LiggesmeyerDB92,
  author       = {Peter Liggesmeyer and
                  Andreas Dregger and
                  Helmut Balzert},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Ein experimentelles Testsystem f{\"{u}}r die Sprache HyperTalk},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {177--186},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_16},
  doi          = {10.1007/978-3-642-77747-9\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/LiggesmeyerDB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Lox92,
  author       = {Hans{-}J{\"{u}}rgen L{\"{o}}x},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Testen in der Wartungsphase - Erfahrungen im Bereich des Regressionstests},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {111--118},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_10},
  doi          = {10.1007/978-3-642-77747-9\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Lox92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Mullerburg92,
  author       = {Monika M{\"{u}}llerburg},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Zur Formalisierung von Testkonzepten},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {35--44},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_3},
  doi          = {10.1007/978-3-642-77747-9\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Mullerburg92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Overbeck92,
  author       = {Jan Overbeck},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Test Activities for Object-Oriented Software Development},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {168--176},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_15},
  doi          = {10.1007/978-3-642-77747-9\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Overbeck92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Pelkmann92,
  author       = {Ute Pelkmann},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {{TESTSCOPE} - ein Werkzeug f{\"{u}}r den Modul- und Integrationstest},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {70--80},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_6},
  doi          = {10.1007/978-3-642-77747-9\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Pelkmann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Pohl92,
  author       = {Hans Werner Pohl},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Ein stochastisches Fehlermodell zur Kommunikation},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {143--154},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_13},
  doi          = {10.1007/978-3-642-77747-9\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Pohl92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Schless92,
  author       = {Peter Schless},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Methoden und Werkzeuge zur Automatisierung des Software-Tests},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {57--69},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_5},
  doi          = {10.1007/978-3-642-77747-9\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Schless92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Sneed92,
  author       = {Harry M. Sneed},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {The MicroTest Integrated Test Environment},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {45--56},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_4},
  doi          = {10.1007/978-3-642-77747-9\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Sneed92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/testen/Spillner92,
  author       = {Andreas Spillner},
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Testmethoden und Testdatengewinnung f{\"{u}}r den Integrationstest
                  modularer Softwaresysteme},
  booktitle    = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  pages        = {91--101},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9\_8},
  doi          = {10.1007/978-3-642-77747-9\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/Spillner92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/testen/1992,
  editor       = {Peter Liggesmeyer and
                  Harry M. Sneed and
                  Andreas Spillner},
  title        = {Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen,
                  Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering
                  der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und
                  Februar 1992},
  series       = {Informatik Aktuell},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-3-642-77747-9},
  doi          = {10.1007/978-3-642-77747-9},
  isbn         = {3-540-55860-8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/testen/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.