Bernhard Aichernig

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3103	1129
indeks-h	32	18
indeks-i10	90	32

320

160

240

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 14 21 31 37 23 56 39 57 56 96 86 106 118 100 116 154 183 148 175 257 176 181 218 225 306 23

Akses publik

Lihat semua

11 artikel

2 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Martin TapplerTU WienEmail yang diverifikasi di tuwien.ac.at
Willibald KrennSAL Silicon Austria LabsEmail yang diverifikasi di silicon-austria.com
Andrea PferscherPostdoctoral Research Fellow, Department of Informatics, University of OsloEmail yang diverifikasi di ifi.uio.no
Edi MuškardinSillicon-Austria LabsEmail yang diverifikasi di silicon-austria.com
Stefan TiranStudent, Graz, University of TechnologyEmail yang diverifikasi di ist.tugraz.at
Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaEmail yang diverifikasi di ist.tugraz.at
Rupert SchlickAIT Austrian Institute of Technology GmbHEmail yang diverifikasi di ait.ac.at
Dejan NickovicAustrian Institute of TechnologyEmail yang diverifikasi di ait.ac.at
Meng SunProfessor, School of Mathematical Science, Peking UniversityEmail yang diverifikasi di math.pku.edu.cn
Andreas GriesmayerImperial College LondonEmail yang diverifikasi di arm.com
Richard SchumiSingapore Management University (SMU)Email yang diverifikasi di smu.edu.sg
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
Einar Broch JohnsenProfessor, University of OsloEmail yang diverifikasi di ifi.uio.no
Ingo PillExternal Lecturer Graz University of TechnologyEmail yang diverifikasi di ist.tugraz.at
Roderick BloemGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at
Kim G. LarsenDirector, Professor Aalborg UniversityEmail yang diverifikasi di cs.aau.dk
Franz PernkopfGraz University of TechnologyEmail yang diverifikasi di tugraz.at
Markus TranningerKNAPP Systemintegration GmbHEmail yang diverifikasi di tugraz.at
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaEmail yang diverifikasi di iaik.tugraz.at
Marcel KyasAssistant Professor, Reykjavik UniversityEmail yang diverifikasi di ru.is

Ikuti

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

Email yang diverifikasi di ist.tugraz.at - Beranda

Formal Methods Software Testing Model-based Testing Mutation Testing Automata Learning


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Model-based testing IoT communication via active automata learning M Tappler, BK Aichernig, R Bloem 2017 IEEE International conference on software testing, verification and …, 2017	124	2017
Time for mutants—model-based mutation testing with timed automata BK Aichernig, F Lorber, D Ničković Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary …, 2013	115	2013
Test case generation by OCL mutation and constraint solving BK Aichernig, PAP Salas Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005	111	2005
Killing strategies for model‐based mutation testing BK Aichernig, H Brandl, E Jöbstl, W Krenn, R Schlick, S Tiran Software Testing, Verification and Reliability 25 (8), 716-748, 2015	96	2015
Momut:: UML model-based mutation testing for UML W Krenn, R Schlick, S Tiran, B Aichernig, E Jobstl, H Brandl 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015	92	2015
AALpy: an active automata learning library E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler Innovations in Systems and Software Engineering 18 (3), 417-426, 2022	75	2022
Model learning and model-based testing BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad Machine Learning for Dynamic Software Analysis: Potentials and Limits …, 2018	62	2018
Survey on test data generation tools: An evaluation of white-and gray-box testing tools for C#, C++, Eiffel, and Java SJ Galler, BK Aichernig International Journal on Software Tools for Technology Transfer 16, 727-751, 2014	59	2014
Model-based mutation testing of an industrial measurement device BK Aichernig, J Auer, E Jöbstl, R Korošec, W Krenn, R Schlick, ... Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014	58	2014
Mutation testing in the refinement calculus BK Aichernig Formal Aspects of Computing 15, 280-295, 2003	53	2003
A proof obligation generator for VDM-SL BK Aichernig, PG Larsen FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997	51	1997
Protocol conformance testing a SIP registrar: An industrial application of formal methods BK Aichernig, B Peischl, M Weiglhofer, F Wotawa Fifth IEEE International Conference on Software Engineering and Formal …, 2007	48	2007
Automated conformance verification of hybrid systems H Brandl, M Weiglhofer, BK Aichernig 2010 10th International Conference on Quality Software, 3-12, 2010	47	2010
From faults via test purposes to test cases: On the fault-based testing of concurrent systems BK Aichernig, CC Delgado International Conference on Fundamental Approaches to Software Engineering …, 2006	47	2006
Mutation testing in UTP BK Aichernig, H Jifeng Formal Aspects of Computing 21, 33-64, 2009	46	2009
Time to Learn–Learning Timed Automata from Tests M Tappler, BK Aichernig, KG Larsen, F Lorber International Conference on Formal Modeling and Analysis of Timed Systems …, 2019	44	2019
Efficient active automata learning via mutation testing BK Aichernig, M Tappler Journal of Automated Reasoning 63 (4), 1103-1134, 2019	42*	2019
UML in action: a two-layered interpretation for testing BK Aichernig, H Brandl, E Jöbstl, W Krenn ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011	42	2011
Efficient mutation killers in action BK Aichernig, H Brandl, E Jöbstl, W Krenn 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011	41	2011
Validating voice communication requirements using lightweight formal methods J Horl, BK Aichernig IEEE Software 17 (3), 21-27, 2000	40	2000

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama