Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreas Ulrich
@article{DBLP:journals/sqj/LiUBB20,
author = {J. Jenny Li and
Andreas Ulrich and
Xiaoying Bai and
Antonia Bertolino},
title = {Advances in test automation for software with special focus on artificial
intelligence and machine learning},
journal = {Softw. Qual. J.},
volume = {28},
number = {1},
pages = {245--248},
year = {2020},
url = {https://doi.org/10.1007/s11219-019-09472-3},
doi = {10.1007/S11219-019-09472-3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/LiUBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/MakedonskiGRKPU20,
author = {Philip Makedonski and
Ilie{-}Daniel Gheorghe{-}Pop and
Axel Rennoch and
Finn Kristoffersen and
Bostjan Pintar and
Andreas Ulrich},
title = {Using {TDL} for Standardised Test Purpose Definitions},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2020, Macau, China, December
11-14, 2020},
pages = {514--521},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS-C51114.2020.00091},
doi = {10.1109/QRS-C51114.2020.00091},
timestamp = {Tue, 26 Jan 2021 17:41:14 +0100},
biburl = {https://dblp.org/rec/conf/qrs/MakedonskiGRKPU20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/MakedonskiAKKCU19,
author = {Philip Makedonski and
Guszt{\'{a}}v Adamis and
Martti K{\"{a}}{\"{a}}rik and
Finn Kristoffersen and
Michele Carignani and
Andreas Ulrich and
Jens Grabowski},
title = {Test descriptions with {ETSI} {TDL}},
journal = {Softw. Qual. J.},
volume = {27},
number = {2},
pages = {885--917},
year = {2019},
url = {https://doi.org/10.1007/s11219-018-9423-9},
doi = {10.1007/S11219-018-9423-9},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/MakedonskiAKKCU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RatiuU19,
author = {Daniel Ratiu and
Andreas Ulrich},
title = {An integrated environment for Spin-based {C} code checking - Towards
bringing model-driven code checking closer to practitioners},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {3},
pages = {267--286},
year = {2019},
url = {https://doi.org/10.1007/s10009-019-00510-w},
doi = {10.1007/S10009-019-00510-W},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RatiuU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018ast,
editor = {Xiaoying Bai and
J. Jenny Li and
Andreas Ulrich},
title = {Proceedings of the 13th International Workshop on Automation of Software
Test, AST@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194733},
doi = {10.1145/3194733},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018ast.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/RatiuU17,
author = {Daniel Ratiu and
Andreas Ulrich},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {Increasing usability of spin-based {C} code verification using a harness
definition language: leveraging model-driven code checking to practitioners},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {60--69},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3092283},
doi = {10.1145/3092282.3092283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/RatiuU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YenigunYU16,
author = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Advances in test generation for testing software and systems - An
introduction to selected papers from {ICTSS} 2013},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {3},
pages = {245--249},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0404-z},
doi = {10.1007/S10009-015-0404-Z},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/YenigunYU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LiuSSUSW15,
author = {Huai Liu and
Maria Spichkova and
Heinz W. Schmidt and
Andreas Ulrich and
Horst Sauer and
Jan Wieghardt},
editor = {Fei{-}Ching Diana Kuo and
Stuart Marshall and
Haifeng Shen and
Markus Stumptner and
Muhammad Ali Babar},
title = {Efficient Testing based on Logical Architecture},
booktitle = {Proceedings of the 24th Australasian Software Engineering Conference,
{ASWEC} 2015, Volume II, Adelaide, SA, Australia, September 28 - October
1, 2015},
pages = {49--53},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2811681.2811691},
doi = {10.1145/2811681.2811691},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/aswec/LiuSSUSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Ulrich15,
author = {Andreas Ulrich},
editor = {Ivica Crnkovic},
title = {Sustainable Architectures: {A} Tester's Perspective},
booktitle = {Proceedings of the 2015 European Conference on Software Architecture
Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015},
pages = {61:1--61:2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2797433.2797496},
doi = {10.1145/2797433.2797496},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/Ulrich15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/UlrichV15,
author = {Andreas Ulrich and
Anjelika Votintseva},
title = {Experience report: Formal verification and testing in the development
of embedded software},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381822},
doi = {10.1109/ISSRE.2015.7381822},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/UlrichV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrabowskiSU14,
author = {Jens Grabowski and
Ina Schieferdecker and
Andreas Ulrich},
title = {History, status, and recent trends of the testing and test control
notation version 3 {(TTCN-3)} - With a brief introduction to selected
articles from the {TTCN-3} user conference 2011},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {3},
pages = {215--225},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0302-9},
doi = {10.1007/S10009-014-0302-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrabowskiSU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/UlrichJVK14,
author = {Andreas Ulrich and
Sylvia Jell and
Anjelika Votintseva and
Andres Kull},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {The {ETSI} Test Description Language {TDL} and its Application},
booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
on Model-Driven Engineering and Software Development, Lisbon, Portugal,
7 - 9 January, 2014},
pages = {601--608},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004708706010608},
doi = {10.5220/0004708706010608},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/UlrichJVK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2013,
editor = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Cemal Yilmaz and
Andreas Ulrich},
title = {Testing Software and Systems - 25th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2013, Istanbul, Turkey, November 13-15, 2013,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8254},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41707-8},
doi = {10.1007/978-3-642-41707-8},
isbn = {978-3-642-41706-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NdemTUG11,
author = {Guy Collins Ndem and
Abbas Tahir and
Andreas Ulrich and
Helmut Goetz},
editor = {Antonia Bertolino and
Howard Foster and
J. Jenny Li},
title = {Test data to reduce the complexity of unit test automation},
booktitle = {Proceedings of the 6th International Workshop on Automation of Software
Test, {AST} 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011},
pages = {105--106},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982595.1982618},
doi = {10.1145/1982595.1982618},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NdemTUG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SarmaMJU10,
author = {Monalisa Sarma and
P. V. R. Murthy and
Sylvia Jell and
Andreas Ulrich},
editor = {Hong Zhu and
W. K. Chan and
Christof J. Budnik and
Gregory M. Kapfhammer},
title = {Model-based testing in industry: a case study with two {MBT} tools},
booktitle = {The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4,
2010, Cape Town, South Africa},
pages = {87--90},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808266.1808279},
doi = {10.1145/1808266.1808279},
timestamp = {Thu, 30 Apr 2020 12:10:35 +0200},
biburl = {https://dblp.org/rec/conf/icse/SarmaMJU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/UlrichAHB10,
author = {Andreas Ulrich and
El Hachemi Alikacem and
Hesham Hallal and
Sergiy Boroday},
editor = {Alexandre Petrenko and
Adenilso da Silva Sim{\~{a}}o and
Jos{\'{e}} Carlos Maldonado},
title = {From Scenarios to Test Implementations Via Promela},
booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6435},
pages = {236--249},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16573-3\_17},
doi = {10.1007/978-3-642-16573-3\_17},
timestamp = {Mon, 15 Jun 2020 17:03:33 +0200},
biburl = {https://dblp.org/rec/conf/pts/UlrichAHB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BorodayPU09,
author = {Sergiy Boroday and
Alexandre Petrenko and
Andreas Ulrich},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Paul Baker and
Mercedes G. Merayo},
title = {Implementing {MSC} Tests with Quiescence Observation},
booktitle = {Testing of Software and Communication Systems, 21st {IFIP} {WG} 6.1
International Conference, {TESTCOM} 2009 and 9th International Workshop,
{FATES} 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5826},
pages = {49--65},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05031-2\_4},
doi = {10.1007/978-3-642-05031-2\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BorodayPU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/BorodayPU08,
author = {Sergiy Boroday and
Alexandre Petrenko and
Andreas Ulrich},
title = {Test suite consistency verification},
booktitle = {2008 East-West Design {\&} Test Symposium, {EWDTS} 2008, Lviv,
Ukraine, October 9-12, 2008},
pages = {235--239},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EWDTS.2008.5580145},
doi = {10.1109/EWDTS.2008.5580145},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewdts/BorodayPU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/ZeissUG07,
author = {Benjamin Zeiss and
Andreas Ulrich and
Jens Grabowski},
editor = {Heinz{-}Gerd Hegering and
Axel Lehmann and
Hans J{\"{u}}rgen Ohlbach and
Christian Scheideler},
title = {Constructing Test Behavior Models Using Simulated System Answers for
the Analysis of Test Behavior Anomalies},
booktitle = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
8-13, 2008, Band 1},
series = {{LNI}},
volume = {{P-133}},
pages = {177--182},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/21353},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/ZeissUG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2008,
editor = {Kenji Suzuki and
Teruo Higashino and
Andreas Ulrich and
Toru Hasegawa},
title = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
6.1 International Conference, TestCom 2008, 8th International Workshop,
{FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5047},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68524-1},
doi = {10.1007/978-3-540-68524-1},
isbn = {978-3-540-68514-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/UlrichP07,
author = {Andreas Ulrich and
Alexandre Petrenko},
editor = {David H. Akehurst and
R{\'{e}}gis Vogel and
Richard F. Paige},
title = {Reverse Engineering Models from Traces to Validate Distributed Systems
- An Industrial Case Study},
booktitle = {Model Driven Architecture - Foundations and Applications, 3rd European
Conference, {ECMDA-FA} 2007, Haifa, Israel, June 11-15, 2007, Proccedings},
series = {Lecture Notes in Computer Science},
volume = {4530},
pages = {184--193},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72901-3\_14},
doi = {10.1007/978-3-540-72901-3\_14},
timestamp = {Wed, 24 Jun 2020 12:15:03 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/UlrichP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Ulrich07,
author = {Andreas Ulrich},
editor = {Wolf{-}Gideon Bleek and
Henning Schwentner and
Heinz Z{\"{u}}llighoven},
title = {Introducing model-based testing techniques in industrial projects},
booktitle = {Software Engineering 2007 - Beitr{\"{a}}ge zu den Workshops,
Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg},
series = {{LNI}},
volume = {{P-106}},
pages = {29--34},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/22703},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Ulrich07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HallalBPU06,
author = {Hesham Hallal and
Sergiy Boroday and
Alexandre Petrenko and
Andreas Ulrich},
title = {A formal approach to property testing in causally consistent distributed
traces},
journal = {Formal Aspects Comput.},
volume = {18},
number = {1},
pages = {63--83},
year = {2006},
url = {https://doi.org/10.1007/s00165-005-0082-9},
doi = {10.1007/S00165-005-0082-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HallalBPU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/UlrichZP06,
author = {Andreas Ulrich and
Peter Zimmerer and
Andrej Pietschker},
title = {Neuere Entwicklungen im Testbereich der {SIEMENS} {AG} - {CT} {SE}
1},
journal = {Softwaretechnik-Trends},
volume = {26},
number = {1},
year = {2006},
url = {http://pi.informatik.uni-siegen.de/stt/26\_1/01\_Fachgruppenberichte/TAV/01\_P1-3Siemens.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/UlrichZP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2003,
editor = {Alexandre Petrenko and
Andreas Ulrich},
title = {Formal Approaches to Software Testing, Third International Workshop
on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
Quebec, Canada, October 6th, 2003},
series = {Lecture Notes in Computer Science},
volume = {2931},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b95400},
doi = {10.1007/B95400},
isbn = {3-540-20894-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fates/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/UlrichHPB03,
author = {Andreas Ulrich and
Hesham Hallal and
Alexandre Petrenko and
Sergiy Boroday},
title = {Verifying Trustworthiness Requirements in Distributed Systems with
Formal Log-file Analysis},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {337},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174915},
doi = {10.1109/HICSS.2003.1174915},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/UlrichHPB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ista/BorodayHPU03,
author = {Sergiy Boroday and
Hesham Hallal and
Alexandre Petrenko and
Andreas Ulrich},
editor = {Mikhail Godlevsky and
Stephen W. Liddle and
Heinrich C. Mayr},
title = {Formal Modeling of Communication Traces},
booktitle = {Information Systems Technology and its Applications, International
Conference ISTA'2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings},
series = {{LNI}},
volume = {{P-30}},
pages = {97--108},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/29877},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ista/BorodayHPU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HallalBUP03,
author = {Hesham Hallal and
Sergiy Boroday and
Andreas Ulrich and
Alexandre Petrenko},
editor = {Dieter Hogrefe and
Anthony Wiles},
title = {An Automata-Based Approach to Property Testing in Event Traces},
booktitle = {Testing of Communicating Systems, 15th {IFIP} International Conference,
TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2644},
pages = {180--196},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44830-6\_14},
doi = {10.1007/3-540-44830-6\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/HallalBUP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PetrenkoU00,
author = {Alexandre Petrenko and
Andreas Ulrich},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Verification and Testing of Concurrent Systems with Action Races},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {261--280},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 15:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pts/PetrenkoU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/UlrichC99,
author = {Andreas Ulrich and
Gunther Chrobok{-}Diening},
title = {International Workshop on Testing Distributed Component-Based Systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {24},
number = {4},
pages = {43--46},
year = {1999},
url = {https://doi.org/10.1145/329155.329162},
doi = {10.1145/329155.329162},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/UlrichC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/UlrichZ99,
author = {Andreas Ulrich and
Peter Zimmerer},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {International Workshop on Testing Distributed Component-Based Systems},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {698},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302964},
doi = {10.1145/302405.302964},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/UlrichZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/UlrichK99,
author = {Andreas Ulrich and
Hartmut K{\"{o}}nig},
editor = {Gyula Csopaki and
Sarolta Dibuz and
Katalin Tarnay},
title = {Architectures for Testing Distributed Systems},
booktitle = {Testing of Communicating Systems: Method and Applications, {IFIP}
{TC6} 12\({}^{\mbox{th}}\) International Workshop on Testing Communicating
Systems, September 1-3, 1999, Budapest, Hungary},
series = {{IFIP} Conference Proceedings},
volume = {147},
pages = {93--108},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 17 Oct 2002 11:13:46 +0200},
biburl = {https://dblp.org/rec/conf/pts/UlrichK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Ulrich98,
author = {Andreas Ulrich},
title = {Testfallableitung und Testrealisierung in verteilten Systemen},
school = {Otto-von-Guericke University Magdeburg, Germany},
year = {1998},
url = {https://d-nb.info/954669096},
isbn = {978-3-8265-4081-3},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Ulrich98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PetrenkoUC98,
author = {Alexandre Petrenko and
Andreas Ulrich and
V. Chapenko},
editor = {Alexandre Petrenko and
Nina Yevtushenko},
title = {Using Partial-Orders for Detecting Faults in Concurrent Systems},
booktitle = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
Workshop on Testing Communicating Systems (IWTCS), August 31 - September
2, 1998, Tomsk, Russia},
series = {{IFIP} Conference Proceedings},
volume = {131},
pages = {175--190},
publisher = {Kluwer},
year = {1998},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/PetrenkoUC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/UlrichK97,
author = {Andreas Ulrich and
Hartmut K{\"{o}}nig},
editor = {Atsushi Togashi and
Tadanori Mizuno and
Norio Shiratori and
Teruo Higashino},
title = {Specification-based Testing of Concurrent Systems},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {X)} and
Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
November, 1997, Osaka, Japan},
series = {{IFIP} Conference Proceedings},
volume = {107},
pages = {7--22},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
biburl = {https://dblp.org/rec/conf/forte/UlrichK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/Ulrich97,
author = {Andreas Ulrich},
editor = {Martina Zitterbart},
title = {A Description Model to Support Test Suit Derivation for Concurrent
Systems},
booktitle = {Kommunikation in Verteilten Systemen, GI/ITG-Fachtagung, Braunschweig
19.-21. Februar 1997},
series = {Informatik Aktuell},
pages = {151--166},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60729-5\_11},
doi = {10.1007/978-3-642-60729-5\_11},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/conf/kivs/Ulrich97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GuerrouatKU95,
author = {Abdelaziz Guerrouat and
Hartmut K{\"{o}}nig and
Andreas Ulrich},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
title = {{SELEXPERT} - {A} Knowledge-based Tool for Test Case Selection},
booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
Eighth International Conference on Formal Description Techniques,
Montreal, Canada, October 1995},
series = {{IFIP} Conference Proceedings},
volume = {43},
pages = {313--328},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/GuerrouatKU95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/UlrichC95,
author = {Andreas Ulrich and
Samuel T. Chanson},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {An approach to testing distributed software systems},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {121--136},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/UlrichC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/UlrichK93,
author = {Andreas Ulrich and
Hartmut K{\"{o}}nig},
editor = {Omar Rafiq},
title = {Test Derivation from {LOTOS} Using Structure Information},
booktitle = {Protocol Test Systems, VI, Proceedings of the {IFIP} {TC6/WG6.1} Sixth
International Workshop on Protocol Test systems, Pau, France, 28-30
September, 1993},
series = {{IFIP} Transactions},
volume = {{C-19}},
pages = {279--293},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 17 Oct 2002 11:13:42 +0200},
biburl = {https://dblp.org/rec/conf/pts/UlrichK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
