Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bernhard K. Aichernig
@article{DBLP:journals/fac/AichernigTW24,
author = {Bernhard K. Aichernig and
Martin Tappler and
Felix Wallner},
title = {Benchmarking Combinations of Learning and Testing Algorithms for Automata
Learning},
journal = {Formal Aspects Comput.},
volume = {36},
number = {1},
pages = {3:1--3:37},
year = {2024},
url = {https://doi.org/10.1145/3605360},
doi = {10.1145/3605360},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AichernigTW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TapplerPAK24,
author = {Martin Tappler and
Andrea Pferscher and
Bernhard K. Aichernig and
Bettina K{\"{o}}nighofer},
title = {Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing
Data},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {6:1--6:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3623311},
doi = {10.1145/3597503.3623311},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TapplerPAK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WallnerAB24,
author = {Felix Wallner and
Bernhard K. Aichernig and
Christian Burghard},
title = {It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy
Data},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {29:1--29:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3623346},
doi = {10.1145/3597503.3623346},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WallnerAB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PferscherWAM23,
author = {Andrea Pferscher and
Benjamin Wunderling and
Bernhard K. Aichernig and
Edi Muskardin},
editor = {Stefan Hallerstede and
Eduard Kamburjan},
title = {Mining Digital Twins of a {VPN} Server},
booktitle = {Proceedings of the Workshop on Applications of Formal Methods and
Digital Twins co-located with 25th International Symposium on Formal
Methods {(FM} 2023), L{\"{u}}beck, Germany, March 06, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3507},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3507/paper6.pdf},
timestamp = {Fri, 24 Nov 2023 12:33:41 +0100},
biburl = {https://dblp.org/rec/conf/fm/PferscherWAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgi/MuskardinTA23,
author = {Edi Muskardin and
Martin Tappler and
Bernhard K. Aichernig},
editor = {Fran{\c{c}}ois Coste and
Faissal Ouardi and
Guillaume Rabusseau},
title = {Testing-based Black-box Extraction of Simple Models from RNNs and
Transformers},
booktitle = {International Conference on Grammatical Inference, {ICGI} 2023, 10-13
July 2023, Rabat, Morocco},
series = {Proceedings of Machine Learning Research},
volume = {217},
pages = {291--294},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v217/muskardin23a.html},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icgi/MuskardinTA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MuskardinTAP23,
author = {Edi Muskardin and
Martin Tappler and
Bernhard K. Aichernig and
Ingo Pill},
editor = {Paula Herber and
Anton Wijs},
title = {Reinforcement Learning Under Partial Observability Guided by Learned
Environment Models},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {257--276},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_14},
doi = {10.1007/978-3-031-47705-8\_14},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/MuskardinTAP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/TapplerA23,
author = {Martin Tappler and
Bernhard K. Aichernig},
editor = {Bernhard Steffen},
title = {Differential Safety Testing of Deep {RL} Agents Enabled by Automata
Learning},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {138--159},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_8},
doi = {10.1007/978-3-031-46002-9\_8},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vecos/TapplerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16854,
author = {Edi Muskardin and
Martin Tappler and
Ingo Pill and
Bernhard K. Aichernig and
Thomas Pock},
title = {On the Relationship Between {RNN} Hidden State Vectors and Semantic
Ground Truth},
journal = {CoRR},
volume = {abs/2306.16854},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16854},
doi = {10.48550/ARXIV.2306.16854},
eprinttype = {arXiv},
eprint = {2306.16854},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-17204,
author = {Martin Tappler and
Edi Muskardin and
Bernhard K. Aichernig and
Bettina K{\"{o}}nighofer},
title = {Learning Environment Models with Continuous Stochastic Dynamics},
journal = {CoRR},
volume = {abs/2306.17204},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.17204},
doi = {10.48550/ARXIV.2306.17204},
eprinttype = {arXiv},
eprint = {2306.17204},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-17204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PferscherA22,
author = {Andrea Pferscher and
Bernhard K. Aichernig},
title = {Fingerprinting and analysis of Bluetooth devices with automata learning},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {1},
pages = {35--62},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00425-y},
doi = {10.1007/S10703-023-00425-Y},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PferscherA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MuskardinAPPT22,
author = {Edi Muskardin and
Bernhard K. Aichernig and
Ingo Pill and
Andrea Pferscher and
Martin Tappler},
title = {AALpy: an active automata learning library},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {3},
pages = {417--426},
year = {2022},
url = {https://doi.org/10.1007/s11334-022-00449-3},
doi = {10.1007/S11334-022-00449-3},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MuskardinAPPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MuskardinAPT22,
author = {Edi Muskardin and
Bernhard K. Aichernig and
Ingo Pill and
Martin Tappler},
editor = {Maurice H. ter Beek and
Rosemary Monahan},
title = {Learning Finite State Models fromRecurrent Neural Networks},
booktitle = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
Lugano, Switzerland, June 7-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13274},
pages = {229--248},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07727-2\_13},
doi = {10.1007/978-3-031-07727-2\_13},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MuskardinAPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TapplerCAK22,
author = {Martin Tappler and
Filip Cano C{\'{o}}rdoba and
Bernhard K. Aichernig and
Bettina K{\"{o}}nighofer},
editor = {Luc De Raedt},
title = {Search-Based Testing of Reinforcement Learning},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {503--510},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/72},
doi = {10.24963/IJCAI.2022/72},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/TapplerCAK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PferscherA22,
author = {Andrea Pferscher and
Bernhard K. Aichernig},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {373--392},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_20},
doi = {10.1007/978-3-031-06773-0\_20},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PferscherA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/TapplerAL22,
author = {Martin Tappler and
Bernhard K. Aichernig and
Florian Lorber},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Timed Automata Learning via {SMT} Solving},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {489--507},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_26},
doi = {10.1007/978-3-031-06773-0\_26},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/TapplerAL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AichernigKMPST22,
author = {Bernhard K. Aichernig and
Sandra K{\"{o}}nig and
Cristinel Mateis and
Andrea Pferscher and
Dominik Schmidt and
Martin Tappler},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Constrained Training of Recurrent Neural Networks for Automata Learning},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {155--172},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_10},
doi = {10.1007/978-3-031-17108-6\_10},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/AichernigKMPST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14031,
author = {Bernhard K. Aichernig and
Edi Muskardin and
Andrea Pferscher},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Active vs. Passive: {A} Comparison of Automata Learning Paradigms
for Network Protocols},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {1--19},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.1},
doi = {10.4204/EPTCS.371.1},
timestamp = {Mon, 14 Nov 2022 14:12:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04887,
author = {Martin Tappler and
Filip Cano C{\'{o}}rdoba and
Bernhard K. Aichernig and
Bettina K{\"{o}}nighofer},
title = {Search-Based Testing of Reinforcement Learning},
journal = {CoRR},
volume = {abs/2205.04887},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04887},
doi = {10.48550/ARXIV.2205.04887},
eprinttype = {arXiv},
eprint = {2205.04887},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11708,
author = {Edi Muskardin and
Martin Tappler and
Bernhard K. Aichernig and
Ingo Pill},
title = {Reinforcement Learning under Partial Observability Guided by Learned
Environment Models},
journal = {CoRR},
volume = {abs/2206.11708},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11708},
doi = {10.48550/ARXIV.2206.11708},
eprinttype = {arXiv},
eprint = {2206.11708},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16074,
author = {Andrea Pferscher and
Bernhard K. Aichernig},
title = {Fingerprinting and Analysis of Bluetooth Devices with Automata Learning},
journal = {CoRR},
volume = {abs/2211.16074},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16074},
doi = {10.48550/ARXIV.2211.16074},
eprinttype = {arXiv},
eprint = {2211.16074},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/TapplerA0EL21,
author = {Martin Tappler and
Bernhard K. Aichernig and
Giovanni Bacci and
Maria Eichlseder and
Kim G. Larsen},
title = {L\({}^{\mbox{*}}\)-based learning of Markov decision processes (extended
version)},
journal = {Formal Aspects Comput.},
volume = {33},
number = {4-5},
pages = {575--615},
year = {2021},
url = {https://doi.org/10.1007/s00165-021-00536-5},
doi = {10.1007/S00165-021-00536-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/TapplerA0EL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MuskardinAPPT21,
author = {Edi Muskardin and
Bernhard K. Aichernig and
Ingo Pill and
Andrea Pferscher and
Martin Tappler},
editor = {Zhe Hou and
Vijay Ganesh},
title = {AALpy: An Active Automata Learning Library},
booktitle = {Automated Technology for Verification and Analysis - 19th International
Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12971},
pages = {67--73},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88885-5\_5},
doi = {10.1007/978-3-030-88885-5\_5},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/MuskardinAPPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PferscherA21,
author = {Andrea Pferscher and
Bernhard K. Aichernig},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {524--542},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_28},
doi = {10.1007/978-3-030-90870-6\_28},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PferscherA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigMP21,
author = {Bernhard K. Aichernig and
Edi Muskardin and
Andrea Pferscher},
title = {Learning-Based Fuzzing of IoT Message Brokers},
booktitle = {14th {IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2021, Porto de Galinhas, Brazil, April 12-16, 2021},
pages = {47--58},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICST49551.2021.00017},
doi = {10.1109/ICST49551.2021.00017},
timestamp = {Wed, 02 Jun 2021 12:37:53 +0200},
biburl = {https://dblp.org/rec/conf/icst/AichernigMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TapplerMAP21,
author = {Martin Tappler and
Edi Muskardin and
Bernhard K. Aichernig and
Ingo Pill},
editor = {Radu Calinescu and
Corina S. Pasareanu},
title = {Active Model Learning of Stochastic Reactive Systems},
booktitle = {Software Engineering and Formal Methods - 19th International Conference,
{SEFM} 2021, Virtual Event, December 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13085},
pages = {481--500},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92124-8\_27},
doi = {10.1007/978-3-030-92124-8\_27},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/TapplerMAP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/SaadatmandLA20,
author = {Mehrdad Saadatmand and
Birgitta Lindstr{\"{o}}m and
Bernhard K. Aichernig},
title = {Special issue on testing extra-functional properties},
journal = {Softw. Test. Verification Reliab.},
volume = {30},
number = {1},
year = {2020},
url = {https://doi.org/10.1002/stvr.1726},
doi = {10.1002/STVR.1726},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/SaadatmandLA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AichernigM20,
author = {Bernhard K. Aichernig and
Benedikt Maderbacher},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Step-Wise Development of Provably Correct Actor Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12476},
pages = {426--448},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61362-4\_25},
doi = {10.1007/978-3-030-61362-4\_25},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AichernigM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AichernigPT20,
author = {Bernhard K. Aichernig and
Andrea Pferscher and
Martin Tappler},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {From Passive to Active: Learning Timed Automata Efficiently},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {1--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_1},
doi = {10.1007/978-3-030-55754-6\_1},
timestamp = {Mon, 10 Aug 2020 15:17:50 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AichernigPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AichernigB20,
author = {Bernhard K. Aichernig and
Christian Burghard},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Giving a Model-Based Testing Language a Formal Semantics via Partial
{MAX-SAT}},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {35--51},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_3},
doi = {10.1007/978-3-030-64881-7\_3},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/AichernigB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PferscherA20,
author = {Andrea Pferscher and
Bernhard K. Aichernig},
editor = {Valentina Casola and
Alessandra De Benedictis and
Massimiliano Rak},
title = {Learning Abstracted Non-deterministic Finite State Machines},
booktitle = {Testing Software and Systems - 32nd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2020, Naples, Italy, December 9-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12543},
pages = {52--69},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64881-7\_4},
doi = {10.1007/978-3-030-64881-7\_4},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/PferscherA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GomesAB20,
author = {Renata Martins Gomes and
Bernhard K. Aichernig and
Marcel Baunach},
editor = {Frank S. de Boer and
Antonio Cerone},
title = {A Formal Modeling Approach for Portable Low-Level {OS} Functionality},
booktitle = {Software Engineering and Formal Methods - 18th International Conference,
{SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12310},
pages = {155--174},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58768-0\_9},
doi = {10.1007/978-3-030-58768-0\_9},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/GomesAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigTW20,
author = {Bernhard K. Aichernig and
Martin Tappler and
Felix Wallner},
editor = {Wolfgang Ahrendt and
Heike Wehrheim},
title = {Benchmarking Combinations of Learning and Testing Algorithms for Active
Automata Learning},
booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {3--22},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50995-8\_1},
doi = {10.1007/978-3-030-50995-8\_1},
timestamp = {Tue, 23 Jun 2020 17:11:48 +0200},
biburl = {https://dblp.org/rec/conf/tap/AichernigTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AichernigT19,
author = {Bernhard K. Aichernig and
Martin Tappler},
title = {Probabilistic black-box reachability checking (extended version)},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {3},
pages = {416--448},
year = {2019},
url = {https://doi.org/10.1007/s10703-019-00333-0},
doi = {10.1007/S10703-019-00333-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AichernigT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AichernigT19,
author = {Bernhard K. Aichernig and
Martin Tappler},
title = {Efficient Active Automata Learning via Mutation Testing},
journal = {J. Autom. Reason.},
volume = {63},
number = {4},
pages = {1103--1134},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9486-0},
doi = {10.1007/S10817-018-9486-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AichernigT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AichernigS19,
author = {Bernhard K. Aichernig and
Richard Schumi},
title = {Property-based testing of web services by deriving properties from
business-rule models},
journal = {Softw. Syst. Model.},
volume = {18},
number = {2},
pages = {889--911},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0647-0},
doi = {10.1007/S10270-017-0647-0},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AichernigS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/AichernigBJKKKM19,
author = {Bernhard K. Aichernig and
Priska Bauerst{\"{a}}tter and
Elisabeth J{\"{o}}bstl and
Severin Kann and
Robert Korosec and
Willibald Krenn and
Cristinel Mateis and
Rupert Schlick and
Richard Schumi},
title = {Learning and statistical model checking of system response times},
journal = {Softw. Qual. J.},
volume = {27},
number = {2},
pages = {757--795},
year = {2019},
url = {https://doi.org/10.1007/s11219-018-9432-8},
doi = {10.1007/S11219-018-9432-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/AichernigBJKKKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TapplerA0EL19,
author = {Martin Tappler and
Bernhard K. Aichernig and
Giovanni Bacci and
Maria Eichlseder and
Kim G. Larsen},
editor = {Maurice H. ter Beek and
Annabelle McIver and
Jos{\'{e}} N. Oliveira},
title = {L\({}^{\mbox{*}}\)-Based Learning of Markov Decision Processes},
booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11800},
pages = {651--669},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30942-8\_38},
doi = {10.1007/978-3-030-30942-8\_38},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/TapplerA0EL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/TapplerALL19,
author = {Martin Tappler and
Bernhard K. Aichernig and
Kim Guldstrand Larsen and
Florian Lorber},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {Time to Learn - Learning Timed Automata from Tests},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {216--235},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_13},
doi = {10.1007/978-3-030-29662-9\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/TapplerALL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigMT19,
author = {Bernhard K. Aichernig and
Benedikt Maderbacher and
Stefan Tiran},
title = {Programming Behavioral Test Models for {SMT} Solving in Scala},
booktitle = {2019 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April
22-23, 2019},
pages = {52--60},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSTW.2019.00032},
doi = {10.1109/ICSTW.2019.00032},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AichernigMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AichernigBK19,
author = {Bernhard K. Aichernig and
Christian Burghard and
Robert Korosec},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Learning-Based Testing of an Industrial Measurement Device},
booktitle = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
Houston, TX, USA, May 7-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11460},
pages = {1--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20652-9\_1},
doi = {10.1007/978-3-030-20652-9\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AichernigBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/AichernigB0HPRR19,
author = {Bernhard K. Aichernig and
Roderick Bloem and
Masoud Ebrahimi and
Martin Horn and
Franz Pernkopf and
Wolfgang Roth and
Astrid Rupp and
Martin Tappler and
Markus Tranninger},
editor = {Christophe Gaston and
Nikolai Kosmatov and
Pascale Le Gall},
title = {Learning a Behavior Model of Hybrid Systems Through Combining Model-Based
Testing and Machine Learning},
booktitle = {Testing Software and Systems - 31st {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2019, Paris, France, October 15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11812},
pages = {3--21},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31280-0\_1},
doi = {10.1007/978-3-030-31280-0\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/AichernigB0HPRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigPSW19,
author = {Bernhard K. Aichernig and
Franz Pernkopf and
Richard Schumi and
Andreas Wurm},
editor = {Dirk Beyer and
Chantal Keller},
title = {Predicting and Testing Latencies with Deep Learning: An IoT Case Study},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {93--111},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_7},
doi = {10.1007/978-3-030-31157-5\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/AichernigPSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/Aichernig19,
author = {Bernhard K. Aichernig},
editor = {Pedro Ribeiro and
Augusto Sampaio},
title = {A Testing Perspective on Algebraic, Denotational, and Operational
Semantics},
booktitle = {Unifying Theories of Programming - 7th International Symposium, {UTP}
2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday,
Porto, Portugal, October 8, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11885},
pages = {22--38},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31038-7\_2},
doi = {10.1007/978-3-030-31038-7\_2},
timestamp = {Mon, 23 Sep 2019 14:16:55 +0200},
biburl = {https://dblp.org/rec/conf/utp/Aichernig19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07075,
author = {Martin Tappler and
Bernhard K. Aichernig and
Roderick Bloem},
title = {Model-Based Testing IoT Communication via Active Automata Learning},
journal = {CoRR},
volume = {abs/1904.07075},
year = {2019},
url = {http://arxiv.org/abs/1904.07075},
eprinttype = {arXiv},
eprint = {1904.07075},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-12239,
author = {Martin Tappler and
Bernhard K. Aichernig and
Giovanni Bacci and
Maria Eichlseder and
Kim G. Larsen},
title = {L*-Based Learning of Markov Decision Processes (Extended Version)},
journal = {CoRR},
volume = {abs/1906.12239},
year = {2019},
url = {http://arxiv.org/abs/1906.12239},
eprinttype = {arXiv},
eprint = {1906.12239},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-12239.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-04708,
author = {Bernhard K. Aichernig and
Roderick Bloem and
Masoud Ebrahimi and
Martin Horn and
Franz Pernkopf and
Wolfgang Roth and
Astrid Rupp and
Martin Tappler and
Markus Tranninger},
title = {Learning a Behavior Model of Hybrid Systems Through Combining Model-Based
Testing and Machine Learning (Full Version)},
journal = {CoRR},
volume = {abs/1907.04708},
year = {2019},
url = {http://arxiv.org/abs/1907.04708},
eprinttype = {arXiv},
eprint = {1907.04708},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-04708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AichernigFGH18,
author = {Bernhard K. Aichernig and
Carlo A. Furia and
Marie{-}Claude Gaudel and
Robert M. Hierons},
title = {Special section of Tests and Proofs 2016},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {627--628},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0474-2},
doi = {10.1007/S00165-018-0474-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AichernigFGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AichernigMMTT16,
author = {Bernhard K. Aichernig and
Wojciech Mostowski and
Mohammad Reza Mousavi and
Martin Tappler and
Masoumeh Taromirad},
editor = {Amel Bennaceur and
Reiner H{\"{a}}hnle and
Karl Meinke},
title = {Model Learning and Model-Based Testing},
booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
- International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
April 24-27, 2016, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {11026},
pages = {74--100},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96562-8\_3},
doi = {10.1007/978-3-319-96562-8\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AichernigMMTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AichernigBETW18,
author = {Bernhard K. Aichernig and
Roderick Bloem and
Masoud Ebrahimi and
Martin Tappler and
Johannes Winter},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Automata Learning for Symbolic Execution},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602991},
doi = {10.23919/FMCAD.2018.8602991},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AichernigBETW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AichernigS18,
author = {Bernhard K. Aichernig and
Richard Schumi},
editor = {Annabelle McIver and
Andr{\'{a}}s Horv{\'{a}}th},
title = {How Fast Is MQTT? - Statistical Model Checking and Testing of IoT
Protocols},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference,
{QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11024},
pages = {36--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99154-2\_3},
doi = {10.1007/978-3-319-99154-2\_3},
timestamp = {Tue, 03 Mar 2020 12:16:34 +0100},
biburl = {https://dblp.org/rec/conf/qest/AichernigS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AichernigKS18,
author = {Bernhard K. Aichernig and
Severin Kann and
Richard Schumi},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Statistical Model Checking of Response Times for Different System
Deployments},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {153--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_11},
doi = {10.1007/978-3-319-99933-3\_11},
timestamp = {Fri, 04 Mar 2022 17:17:33 +0100},
biburl = {https://dblp.org/rec/conf/setta/AichernigKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-07744,
author = {Martin Tappler and
Bernhard K. Aichernig and
Kim Guldstrand Larsen and
Florian Lorber},
title = {Learning Timed Automata via Genetic Programming},
journal = {CoRR},
volume = {abs/1808.07744},
year = {2018},
url = {http://arxiv.org/abs/1808.07744},
eprinttype = {arXiv},
eprint = {1808.07744},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-07744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LorberRNA17,
author = {Florian Lorber and
Amnon Rosenmann and
Dejan Nickovic and
Bernhard K. Aichernig},
title = {Bounded determinization of timed automata with silent transitions},
journal = {Real Time Syst.},
volume = {53},
number = {3},
pages = {291--326},
year = {2017},
url = {https://doi.org/10.1007/s11241-017-9271-x},
doi = {10.1007/S11241-017-9271-X},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LorberRNA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AichernigHLNT17,
author = {Bernhard K. Aichernig and
Klaus H{\"{o}}rmaier and
Florian Lorber and
Dejan Nickovic and
Stefan Tiran},
title = {Require, test, and trace {IT}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {4},
pages = {409--426},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0444-z},
doi = {10.1007/S10009-016-0444-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AichernigHLNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/TapplerAB17,
author = {Martin Tappler and
Bernhard K. Aichernig and
Roderick Bloem},
title = {Model-Based Testing IoT Communication via Active Automata Learning},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {276--287},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.32},
doi = {10.1109/ICST.2017.32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/TapplerAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigMS17,
author = {Bernhard K. Aichernig and
Silvio Marcovic and
Richard Schumi},
title = {Property-Based Testing with External Test-Case Generators},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.62},
doi = {10.1109/ICSTW.2017.62},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AichernigMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigS17,
author = {Bernhard K. Aichernig and
Richard Schumi},
title = {Statistical Model Checking Meets Property-Based Testing},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {390--400},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.42},
doi = {10.1109/ICST.2017.42},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/AichernigS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AichernigT17,
author = {Bernhard K. Aichernig and
Martin Tappler},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Learning from Faults: Mutation Testing in Active Automata Learning},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {19--34},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_2},
doi = {10.1007/978-3-319-57288-8\_2},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AichernigT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SchumiLAKS17,
author = {Richard Schumi and
Priska Lang and
Bernhard K. Aichernig and
Willibald Krenn and
Rupert Schlick},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Checking Response-Time Properties of Web-Service Applications Under
Stochastic User Profiles},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {293--310},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_18},
doi = {10.1007/978-3-319-67549-7\_18},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/SchumiLAKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AichernigT17,
author = {Bernhard K. Aichernig and
Martin Tappler},
editor = {Shuvendu K. Lahiri and
Giles Reger},
title = {Probabilistic Black-Box Reachability Checking},
booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
WA, USA, September 13-16, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {50--67},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67531-2\_4},
doi = {10.1007/978-3-319-67531-2\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AichernigT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AichernigJT16,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Martin Tappler},
title = {Does this fault lead to failure? Combining refinement and input-output
conformance checking in fault-oriented test-case generation},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {806--823},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.002},
doi = {10.1016/J.JLAMP.2016.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AichernigJT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AichernigLT16,
author = {Bernhard K. Aichernig and
Florian Lorber and
Martin Tappler},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Conformance Checking of Real-Time Models - Symbolic Execution vs.
Bounded Model Checking},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {15--32},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_4},
doi = {10.1007/978-3-319-30734-3\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AichernigLT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigS16,
author = {Bernhard K. Aichernig and
Richard Schumi},
title = {Property-Based Testing with FsCheck by Deriving Properties from Business
Rule Models},
booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
April 11-15, 2016},
pages = {219--228},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSTW.2016.24},
doi = {10.1109/ICSTW.2016.24},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AichernigS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/AichernigS16,
author = {Bernhard K. Aichernig and
Richard Schumi},
title = {Towards integrating statistical model checking into property-based
testing},
booktitle = {2016 {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2016, Kanpur, India, November 18-20,
2016},
pages = {71--76},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/MEMCOD.2016.7797748},
doi = {10.1109/MEMCOD.2016.7797748},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/AichernigS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AichernigL16,
author = {Bernhard K. Aichernig and
Florian Lorber},
title = {On-the-Fly Determinization of Bounded Networks of Timed Automata},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2016, Shanghai, China, July 17-19, 2016},
pages = {14--21},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.23},
doi = {10.1109/TASE.2016.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/AichernigL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4},
doi = {10.1007/978-3-319-41135-4},
isbn = {978-3-319-41134-7},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AichernigJT15,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Stefan Tiran},
title = {Model-based mutation testing via symbolic refinement checking},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {383--404},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.05.004},
doi = {10.1016/J.SCICO.2014.05.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AichernigJT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AichernigBJKST15,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn and
Rupert Schlick and
Stefan Tiran},
title = {Killing strategies for model-based mutation testing},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {8},
pages = {716--748},
year = {2015},
url = {https://doi.org/10.1002/stvr.1522},
doi = {10.1002/STVR.1522},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/AichernigBJKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AichernigHLNT15,
author = {Bernhard K. Aichernig and
Klaus H{\"{o}}rmaier and
Florian Lorber and
Dejan Nickovic and
Stefan Tiran},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Matthias G{\"{u}}demann},
title = {Require, Test and Trace {IT}},
booktitle = {Formal Methods for Industrial Critical Systems - 20th International
Workshop, {FMICS} 2015, Oslo, Norway, June 22-23, 2015 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9128},
pages = {113--127},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19458-5\_8},
doi = {10.1007/978-3-319-19458-5\_8},
timestamp = {Mon, 03 Jan 2022 22:35:40 +0100},
biburl = {https://dblp.org/rec/conf/fmics/AichernigHLNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LorberRNA15,
author = {Florian Lorber and
Amnon Rosenmann and
Dejan Nickovic and
Bernhard K. Aichernig},
editor = {Sriram Sankaranarayanan and
Enrico Vicario},
title = {Bounded Determinization of Timed Automata with Silent Transitions},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9268},
pages = {288--304},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22975-1\_19},
doi = {10.1007/978-3-319-22975-1\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/LorberRNA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigL15,
author = {Bernhard K. Aichernig and
Florian Lorber},
title = {Towards generation of adaptive test cases from partial models of determinized
timed automata},
booktitle = {Eighth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015 Workshops, Graz, Austria, April 13-17,
2015},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSTW.2015.7107409},
doi = {10.1109/ICSTW.2015.7107409},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AichernigL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KrennSTAJB15,
author = {Willibald Krenn and
Rupert Schlick and
Stefan Tiran and
Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Harald Brandl},
title = {MoMut: : {UML} Model-Based Mutation Testing for {UML}},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102627},
doi = {10.1109/ICST.2015.7102627},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KrennSTAJB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigNT15,
author = {Bernhard K. Aichernig and
Dejan Nickovic and
Stefan Tiran},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Scalable Incremental Test-case Generation from Large Behavior Models},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {1--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_1},
doi = {10.1007/978-3-319-21215-9\_1},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/AichernigNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigT16,
author = {Bernhard K. Aichernig and
Martin Tappler},
editor = {Christophe Gaston and
Pascale Le Gall and
Alexander K. Petrenko},
title = {Symbolic Input-Output Conformance Checking for Model-Based Mutation
Testing},
booktitle = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
June 23-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {320},
pages = {3--19},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.01.002},
doi = {10.1016/J.ENTCS.2016.01.002},
timestamp = {Thu, 10 Nov 2022 11:51:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LorberRNA15,
author = {Florian Lorber and
Amnon Rosenmann and
Dejan Nickovic and
Bernhard K. Aichernig},
title = {Bounded Determinization of Timed Automata with Silent Transitions},
journal = {CoRR},
volume = {abs/1508.03575},
year = {2015},
url = {http://arxiv.org/abs/1508.03575},
eprinttype = {arXiv},
eprint = {1508.03575},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LorberRNA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GallerA14,
author = {Stefan J. Galler and
Bernhard K. Aichernig},
title = {Survey on test data generation tools - An evaluation of white- and
gray-box testing tools for C{\#}, C++, Eiffel, and Java},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {727--751},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0272-3},
doi = {10.1007/S10009-013-0272-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GallerA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/AichernigLT14,
author = {Bernhard K. Aichernig and
Florian Lorber and
Stefan Tiran},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Joaquim Filipe and
Rui C{\'{e}}sar das Neves},
title = {Formal Test-Driven Development with Verified Test Cases},
booktitle = {{MODELSWARD} 2014 - Proceedings of the 2nd International Conference
on Model-Driven Engineering and Software Development, Lisbon, Portugal,
7 - 9 January, 2014},
pages = {626--635},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004874406260635},
doi = {10.5220/0004874406260635},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/AichernigLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AichernigHLNSST14,
author = {Bernhard K. Aichernig and
Klaus H{\"{o}}rmaier and
Florian Lorber and
Dejan Nickovic and
Rupert Schlick and
Didier Simoneau and
Stefan Tiran},
title = {Integration of Requirements Engineering and Test-Case Generation via
{OSLC}},
booktitle = {2014 14th International Conference on Quality Software, Allen, TX,
USA, October 2-3, 2014},
pages = {117--126},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/QSIC.2014.13},
doi = {10.1109/QSIC.2014.13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qsic/AichernigHLNSST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AichernigHL14,
author = {Bernhard K. Aichernig and
Klaus H{\"{o}}rmaier and
Florian Lorber},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Debugging with Timed Automata Mutations},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {49--64},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_4},
doi = {10.1007/978-3-319-10506-2\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AichernigHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigAJKKSS14,
author = {Bernhard K. Aichernig and
Jakob Auer and
Elisabeth J{\"{o}}bstl and
Robert Korosec and
Willibald Krenn and
Rupert Schlick and
Birgit Vera Schmidt},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Model-Based Mutation Testing of an Industrial Measurement Device},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {1--19},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_1},
doi = {10.1007/978-3-319-09099-3\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/AichernigAJKKSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Aichernig13,
author = {Bernhard K. Aichernig},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {Model-Based Mutation Testing of Reactive Systems - From Semantics
to Automated Test-Case Generation},
booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
He on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8051},
pages = {23--36},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39698-4\_2},
doi = {10.1007/978-3-642-39698-4\_2},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Aichernig13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigJK13,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Matthias Kegele},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Incremental Refinement Checking for Test Case Generation},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {1--19},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_1},
doi = {10.1007/978-3-642-38916-0\_1},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/AichernigJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/AichernigLN13,
author = {Bernhard K. Aichernig and
Florian Lorber and
Dejan Nickovic},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {20--38},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_2},
doi = {10.1007/978-3-642-38916-0\_2},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/AichernigLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MengAAABR12,
author = {Sun Meng and
Farhad Arbab and
Bernhard K. Aichernig and
Lacramioara Astefanoaei and
Frank S. de Boer and
Jan J. M. M. Rutten},
title = {Connectors as designs: Modeling, refinement and test case generation},
journal = {Sci. Comput. Program.},
volume = {77},
number = {7-8},
pages = {799--822},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.04.002},
doi = {10.1016/J.SCICO.2011.04.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MengAAABR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigJ12,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing
Semantics as Constraints},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {752--757},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.169},
doi = {10.1109/ICST.2012.169},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AichernigJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AichernigJ12,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl},
editor = {Antony Tang and
Henry Muccini},
title = {Efficient Refinement Checking for Model-Based Mutation Testing},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {21--30},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.58},
doi = {10.1109/QSIC.2012.58},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qsic/AichernigJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sblp/Aichernig12,
author = {Bernhard K. Aichernig},
editor = {Francisco Heron de Carvalho Junior and
Lu{\'{\i}}s Soares Barbosa},
title = {The Science of Killing Bugs in a Black Box - (Keynote Talk)},
booktitle = {Programming Languages - 16th Brazilian Symposium, {SBLP} 2012, Natal,
Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7554},
pages = {6--11},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33182-4\_2},
doi = {10.1007/978-3-642-33182-4\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sblp/Aichernig12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AichernigLT12,
author = {Bernhard K. Aichernig and
Florian Lorber and
Stefan Tiran},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {Integrating Model-Based Testing and Analysis Tools via Test Case Exchange},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {119--126},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.20},
doi = {10.1109/TASE.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/AichernigLT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-6123,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl},
editor = {Alexander K. Petrenko and
Holger Schlingloff},
title = {Towards Symbolic Model-Based Mutation Testing: Combining Reachability
and Refinement Checking},
booktitle = {Proceedings 7th Workshop on Model-Based Testing, {MBT} 2012, Tallinn,
Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {80},
pages = {88--102},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.80.7},
doi = {10.4204/EPTCS.80.7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-6123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2010,
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25271-6},
doi = {10.1007/978-3-642-25271-6},
isbn = {978-3-642-25270-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/AichernigBJK11,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn},
title = {{UML} in action: a two-layered interpretation for testing},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {36},
number = {1},
pages = {1--8},
year = {2011},
url = {https://doi.org/10.1145/1921532.1921559},
doi = {10.1145/1921532.1921559},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/AichernigBJK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AichernigBJK11,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn},
title = {Efficient Mutation Killers in Action},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.57},
doi = {10.1109/ICST.2011.57},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AichernigBJK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SchwarzlAW11,
author = {Christian Schwarzl and
Bernhard K. Aichernig and
Franz Wotawa},
editor = {Burkhart Wolff and
Fatiha Za{\"{\i}}di},
title = {Compositional Random Testing Using Extended Symbolic Transition Systems},
booktitle = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7019},
pages = {179--194},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24580-0\_13},
doi = {10.1007/978-3-642-24580-0\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/SchwarzlAW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WotawaNA10,
author = {Franz Wotawa and
Mihai Nica and
Bernhard K. Aichernig},
title = {Generating Distinguishing Tests Using the Minion Constraint Solver},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {325--330},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.11},
doi = {10.1109/ICSTW.2010.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WotawaNA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/JobstlWAW10,
author = {Elisabeth J{\"{o}}bstl and
Martin Weiglhofer and
Bernhard K. Aichernig and
Franz Wotawa},
title = {When BDDs Fail: Conformance Testing with Symbolic Execution and {SMT}
Solving},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {479--488},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.48},
doi = {10.1109/ICST.2010.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/JobstlWAW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BrandlWA10,
author = {Harald Brandl and
Martin Weiglhofer and
Bernhard K. Aichernig},
editor = {Ji Wang and
W. K. Chan and
Fei{-}Ching Kuo},
title = {Automated Conformance Verification of Hybrid Systems},
booktitle = {Proceedings of the 10th International Conference on Quality Software,
{QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QSIC.2010.53},
doi = {10.1109/QSIC.2010.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BrandlWA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AichernigH09,
author = {Bernhard K. Aichernig and
Jifeng He},
title = {Mutation testing in {UTP}},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {33--64},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0083-6},
doi = {10.1007/S00165-008-0083-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AichernigH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/WeiglhoferAW09,
author = {Martin Weiglhofer and
Bernhard K. Aichernig and
Franz Wotawa},
title = {Fault-Based Conformance Testing in Practice},
journal = {Int. J. Softw. Informatics},
volume = {3},
number = {2-3},
pages = {375--411},
year = {2009},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=375\&\#38;flag=1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/WeiglhoferAW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrabeJKKSBBABG09,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Andries Stam and
Christel Baier and
Tobias Blechmann and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {The Credo Methodology - (Extended Version)},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {41--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_3},
doi = {10.1007/978-3-642-17071-3\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GrabeJKKSBBABG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/KrennSA09,
author = {Willibald Krenn and
Rupert Schlick and
Bernhard K. Aichernig},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Mapping {UML} to Labeled Transition Systems for Test-Case Generation
- {A} Translation via Object-Oriented Action Systems},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {186--207},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_10},
doi = {10.1007/978-3-642-17071-3\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/KrennSA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AichernigBJK09,
author = {Bernhard K. Aichernig and
Harald Brandl and
Elisabeth J{\"{o}}bstl and
Willibald Krenn},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Model-Based Mutation Testing of Hybrid Systems},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {228--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_12},
doi = {10.1007/978-3-642-17071-3\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AichernigBJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {Dynamic Symbolic Execution of Distributed Concurrent Objects},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {225--230},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_16},
doi = {10.1007/978-3-642-02138-1\_16},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/GriesmayerAJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AichernigBK09,
author = {Bernhard K. Aichernig and
Harald Brandl and
Willibald Krenn},
editor = {Karin K. Breitman and
Ana Cavalcanti},
title = {Qualitative Action Systems},
booktitle = {Formal Methods and Software Engineering, 11th International Conference
on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
December 9-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {206--225},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10373-5\_11},
doi = {10.1007/978-3-642-10373-5\_11},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AichernigBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Catherine Dubois},
title = {Dynamic Symbolic Execution for Testing Distributed Objects},
booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {105--120},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3\_9},
doi = {10.1007/978-3-642-02949-3\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/GriesmayerAJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AichernigAAB0R09,
author = {Bernhard K. Aichernig and
Farhad Arbab and
Lacramioara Astefanoaei and
Frank S. de Boer and
Sun Meng and
Jan J. M. M. Rutten},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Fault-Based Test Case Generation for Component Connectors},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {147--154},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.14},
doi = {10.1109/TASE.2009.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/AichernigAAB0R09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
author = {Immo Grabe and
Mohammad Mahdi Jaghoori and
Bernhard K. Aichernig and
Christel Baier and
Tobias Blechmann and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen and
Joachim Klein and
Sascha Kl{\"{u}}ppelholz and
Marcel Kyas and
Wolfgang Leister and
Rudolf Schlatte and
Andries Stam and
Martin Steffen and
Simon Tschirner and
Liang Xuedong and
Wang Yi},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
in Credo},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {33--48},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.047},
doi = {10.1016/J.ENTCS.2010.08.047},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigBW09,
author = {Bernhard K. Aichernig and
Harald Brandl and
Franz Wotawa},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Conformance Testing of Hybrid Systems with Qualitative Reasoning Models},
booktitle = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
York, UK, March 22, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {2},
pages = {53--69},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.051},
doi = {10.1016/J.ENTCS.2009.09.051},
timestamp = {Fri, 24 Feb 2023 15:15:05 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigBW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchlatteAGK10,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Andreas Griesmayer and
Marcel Kyas},
editor = {Einar Broch Johnsen and
Volker Stolz},
title = {Resource Modeling for Timed Creol Models},
booktitle = {Proceedings of the 3rd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
(UKM), Kuala Lumpur, Malaysia, August 17, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {266},
pages = {63--75},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.08.049},
doi = {10.1016/J.ENTCS.2010.08.049},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchlatteAGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KrennA09,
author = {Willibald Krenn and
Bernhard K. Aichernig},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Test Case Generation by Contract Mutation in Spec{\#}},
booktitle = {Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009,
York, UK, March 22, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {2},
pages = {71--86},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.052},
doi = {10.1016/J.ENTCS.2009.09.052},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KrennA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AichernigB08,
author = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Software engineering and formal methods},
journal = {Softw. Syst. Model.},
volume = {7},
number = {3},
pages = {255--256},
year = {2008},
url = {https://doi.org/10.1007/s10270-008-0091-2},
doi = {10.1007/S10270-008-0091-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AichernigB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AichernigGJSS08,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Einar Broch Johnsen and
Rudolf Schlatte and
Andries Stam},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Eric Madelaine},
title = {Conformance Testing of Distributed Concurrent Systems with Executable
Designs},
booktitle = {Formal Methods for Components and Objects, 7th International Symposium,
{FMCO} 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5751},
pages = {61--81},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-04167-9\_4},
doi = {10.1007/978-3-642-04167-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AichernigGJSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/SchlatteABGJ08,
author = {Rudolf Schlatte and
Bernhard K. Aichernig and
Frank S. de Boer and
Andreas Griesmayer and
Einar Broch Johnsen},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Testing Concurrent Objects with Application-Specific Schedulers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {319--333},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_22},
doi = {10.1007/978-3-540-85762-4\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/SchlatteABGJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/utp/WeiglhoferA08,
author = {Martin Weiglhofer and
Bernhard K. Aichernig},
editor = {Andrew Butterfield},
title = {Unifying Input Output Conformance},
booktitle = {Unifying Theories of Programming, Second International Symposium,
{UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5713},
pages = {181--201},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-14521-6\_11},
doi = {10.1007/978-3-642-14521-6\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/utp/WeiglhoferA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigGSS09,
author = {Bernhard K. Aichernig and
Andreas Griesmayer and
Rudolf Schlatte and
Andries Stam},
editor = {Jianhua Zhao and
Volker Stolz},
title = {Modeling and Testing Multi-Threaded Asynchronous Systems with Creol},
booktitle = {Proceedings of the 2nd International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2008, Istanbul, Turkey, August
30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {243},
pages = {3--14},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.002},
doi = {10.1016/J.ENTCS.2009.07.002},
timestamp = {Thu, 09 Mar 2023 13:49:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigGSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigWW08,
author = {Bernhard K. Aichernig and
Martin Weiglhofer and
Franz Wotawa},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Improving Fault-based Conformance Testing},
booktitle = {Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS
2008, Budapest, Hungary, March 30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {1},
pages = {63--77},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.006},
doi = {10.1016/J.ENTCS.2008.11.006},
timestamp = {Fri, 17 Feb 2023 11:06:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/AichernigWPW07,
author = {Bernhard K. Aichernig and
Martin Weiglhofer and
Bernhard Peischl and
Franz Wotawa},
title = {Test purpose generation in an industrial application},
booktitle = {Proceedings of the 3rd Workshop on Advances in Model Based Testing,
{A-MOST} 2007, co-located with the {ISSTA} 2007 International Symposium
on Software Testing and Analysis, London, United Kingdom, July 9-12},
pages = {115--125},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291535.1291547},
doi = {10.1145/1291535.1291547},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amost/AichernigWPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/Aichernig07,
author = {Bernhard K. Aichernig},
editor = {Paulo Borba and
Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
title = {A Systematic Introduction to Mutation Testing in Unifying Theories
of Programming},
booktitle = {Testing Techniques in Software Engineering, Second Pernambuco Summer
School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
3-7, 2007, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {6153},
pages = {243--287},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-14335-9\_8},
doi = {10.1007/978-3-642-14335-9\_8},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/psse/Aichernig07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AichernigPWW07,
author = {Bernhard K. Aichernig and
Bernhard Peischl and
Martin Weiglhofer and
Franz Wotawa},
title = {Protocol Conformance Testing a {SIP} Registrar: an Industrial Application
of Formal Methods},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {215--226},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.31},
doi = {10.1109/SEFM.2007.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AichernigPWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FraserAW07,
author = {Gordon Fraser and
Bernhard K. Aichernig and
Franz Wotawa},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Handling Model Changes: Regression Testing and Test-Suite Update with
Model-Checkers},
booktitle = {Proceedings of the Third Workshop on Model Based Testing, {MBT} 2007,
Braga, Portugal, March 31 - April 1, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {2},
pages = {33--46},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.08.004},
doi = {10.1016/J.ENTCS.2007.08.004},
timestamp = {Tue, 31 Jan 2023 15:52:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FraserAW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2006,
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/187/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AichernigD06,
author = {Bernhard K. Aichernig and
Carlo Corrales Delgado},
editor = {Luciano Baresi and
Reiko Heckel},
title = {From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing
of Concurrent Systems},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {324--338},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_24},
doi = {10.1007/11693017\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AichernigD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigBDG07,
author = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Preface},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {1},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.040},
doi = {10.1016/J.ENTCS.2006.08.040},
timestamp = {Tue, 31 Jan 2023 15:13:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigBDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigG06,
author = {Bernhard K. Aichernig and
Chris George},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {When Model-based Testing Fails},
booktitle = {Proceedings of the Second Workshop on Model Based Testing, {MBT} 2006,
Vienna, Austria, March 25-26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {4},
pages = {115--128},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.009},
doi = {10.1016/J.ENTCS.2006.09.009},
timestamp = {Fri, 20 Jan 2023 13:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigH07,
author = {Bernhard K. Aichernig and
Jifeng He},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Refinement and Test Case Generation in {UTP}},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {125--143},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.048},
doi = {10.1016/J.ENTCS.2006.08.048},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/MengAN05,
author = {Sun Meng and
Bernhard K. Aichernig and
Zhang Naixiao},
title = {Coalgebraic Component Specification and Verification in {RSL}},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {424--426},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.100},
doi = {10.1109/PDCAT.2005.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/MengAN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AichernigS05,
author = {Bernhard K. Aichernig and
Percy Antonio Pari Salas},
title = {Test Case Generation by {OCL} Mutation and Constraint Solving},
booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
pages = {64--71},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QSIC.2005.63},
doi = {10.1109/QSIC.2005.63},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/AichernigS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AichernigJLR05,
author = {Bernhard K. Aichernig and
Jifeng He and
Zhiming Liu and
Mike Reed},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Integrating Theories and Techniques for Program Modelling, Design
and Verification},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {291--300},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_31},
doi = {10.1007/978-3-540-69149-5\_31},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/AichernigJLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2005,
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/10529/proceeding},
isbn = {0-7695-2435-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DanA04,
author = {Li Dan and
Bernhard K. Aichernig},
editor = {Zhiming Liu and
Keijiro Araki},
title = {Combining Algebraic and Model-Based Test Case Generation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2004, First International
Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3407},
pages = {250--264},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31862-0\_19},
doi = {10.1007/978-3-540-31862-0\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/DanA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MengABN05,
author = {Sun Meng and
Bernhard K. Aichernig and
Lu{\'{\i}}s Soares Barbosa and
Zhang Naixiao},
editor = {Lars Birkedal},
title = {A Coalgebraic Semantic Framework for Component-based Development in
{UML}},
booktitle = {Proceedings of the 10th Conference on Category Theory in Computer
Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {122},
pages = {229--245},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.051},
doi = {10.1016/J.ENTCS.2004.06.051},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MengABN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0407050,
author = {Bernhard K. Aichernig and
Reinhold Kainhofer},
title = {Modeling and Validating Hybrid Systems Using {VDM} and Mathematica},
journal = {CoRR},
volume = {cs.SE/0407050},
year = {2004},
url = {http://arxiv.org/abs/cs.SE/0407050},
doi = {10.48550/ARXIV.CS/0407050},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0407050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Aichernig03,
author = {Bernhard K. Aichernig},
title = {Mutation Testing in the Refinement Calculus},
journal = {Formal Aspects Comput.},
volume = {15},
number = {2-3},
pages = {280--295},
year = {2003},
url = {https://doi.org/10.1007/s00165-003-0011-8},
doi = {10.1007/S00165-003-0011-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Aichernig03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Aichernig03,
author = {Bernhard K. Aichernig},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {The Commuting V-Diagram},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {15--28},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_2},
doi = {10.1007/978-3-540-45220-1\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Aichernig03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unu/2002,
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b11934},
doi = {10.1007/B11934},
isbn = {3-540-20527-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/unu/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/Aichernig02,
author = {Bernhard K. Aichernig},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {Contract-Based Testing},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {34--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_3},
doi = {10.1007/978-3-540-40007-3\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/unu/Aichernig02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Aichernig02,
author = {Bernhard K. Aichernig},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Contract-based mutation testing in the refinement calculus},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {281},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)82561-7},
doi = {10.1016/S1571-0661(05)82561-7},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Aichernig02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AichernigFK01,
author = {Bernhard K. Aichernig and
Brigitte Fr{\"{o}}hlich and
Andreas Kerschbaumer},
title = {Formal Aspects of Software Engineering - {J.UCS} Special Issue in
Honor of Professor Peter Lucas},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {8},
pages = {629--630},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_8/formal\_aspects\_of\_software},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/AichernigFK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Aichernig01,
author = {Bernhard K. Aichernig},
title = {Test-Design through Abstraction - {A} Systematic Approach Based on
the Refinement Calculus},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {8},
pages = {710--735},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-08-0710},
doi = {10.3217/JUCS-007-08-0710},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Aichernig01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Aichernig01,
author = {Bernhard K. Aichernig},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {Test-Case Calculation through Abstraction},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {571--589},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_33},
doi = {10.1007/3-540-45251-6\_33},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Aichernig01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HorlA00,
author = {Johann H{\"{o}}rl and
Bernhard K. Aichernig},
title = {Validating Voice Communication Requirements Using Lightweight Formal
Methods},
journal = {{IEEE} Softw.},
volume = {17},
number = {3},
pages = {21--27},
year = {2000},
url = {https://doi.org/10.1109/52.896246},
doi = {10.1109/52.896246},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/HorlA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AichernigGA00,
author = {Bernhard K. Aichernig and
Andreas Gerstinger and
Robert Aster},
title = {Formal specification techniques as a catalyst in validation},
booktitle = {5th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
pages = {203--206},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HASE.2000.895462},
doi = {10.1109/HASE.2000.895462},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AichernigGA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/HorlA00,
author = {Johann H{\"{o}}rl and
Bernhard K. Aichernig},
title = {Requirements Validation of a Voice Communication System Used in Air
Traffic Control},
booktitle = {Proceedings of the 4th International Conference on Requirements Engineering,
{ICRE} '00, Schaumburg, Illinois, USA, June 19-23, 2000},
pages = {190},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICRE.2000.855610},
doi = {10.1109/ICRE.2000.855610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/HorlA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HorlA99,
author = {Johann H{\"{o}}rl and
Bernhard K. Aichernig},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Formal Specification of a Voice Communication System Used in Air Traffic
Control},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1868},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_59},
doi = {10.1007/3-540-48118-4\_59},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/HorlA99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Aichernig99,
author = {Bernhard K. Aichernig},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Automated Black-Box Testing with Abstract {VDM} Oracles},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {250--259},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_22},
doi = {10.1007/3-540-48249-0\_22},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Aichernig99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AichernigL97,
author = {Bernhard K. Aichernig and
Peter Gorm Larsen},
editor = {John S. Fitzgerald and
Cliff B. Jones and
Peter Lucas},
title = {A Proof Obligation Generator for {VDM-SL}},
booktitle = {{FME} '97: Industrial Applications and Strengthened Foundations of
Formal Methods, 4th International Symposium of Formal Methods Europe,
Graz, Austria, September 15-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1313},
pages = {338--357},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63533-5\_18},
doi = {10.1007/3-540-63533-5\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AichernigL97.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-17 23:06 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:
