Bernhard Aichernig

Cited by

	All	Since 2019
Citations	2875	1196
h-index	31	19
i10-index	90	37

260

130

195

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 14 22 25 44 18 57 38 60 58 100 86 105 116 93 107 138 176 144 174 242 173 180 219 233 146

Public access

View all

11 articles

1 article

available

not available

Based on funding mandates

Co-authors

Martin TapplerTU WienVerified email at ist.tugraz.at
Willibald KrennSAL Silicon Austria LabsVerified email at silicon-austria.com
Andrea PferscherPostdoctoral Research Fellow, Department of Informatics, University of OsloVerified email at ifi.uio.no
Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
Edi MuškardinSillicon-Austria LabsVerified email at silicon-austria.com
Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaVerified email at ist.tugraz.at
Rupert SchlickAIT Austrian Institute of Technology GmbHVerified email at ait.ac.at
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Meng SunProfessor, School of Mathematical Science, Peking UniversityVerified email at math.pku.edu.cn
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Richard SchumiSingapore Management University (SMU)Verified email at smu.edu.sg
Andreas GriesmayerImperial College LondonVerified email at arm.com
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Franz PernkopfGraz University of TechnologyVerified email at tugraz.at
Markus TranningerGraz University of TechnologyVerified email at tugraz.at
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

Verified email at ist.tugraz.at - Homepage

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


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	110	2017
Test case generation by OCL mutation and constraint solving BK Aichernig, PAP Salas Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005	108	2005
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	104	2013
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	85	2015
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	63	2014
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	57	2018
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	53	2014
Mutation testing in the refinement calculus BK Aichernig Formal Aspects of Computing 15, 280-295, 2003	52	2003
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	51	2022
A proof obligation generator for VDM-SL BK Aichernig, PG Larsen FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997	49	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	47	2007
Automated conformance verification of hybrid systems H Brandl, M Weiglhofer, BK Aichernig 2010 10th International Conference on Quality Software, 3-12, 2010	46	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	46	2006
Connectors as designs: Modeling, refinement and test case generation S Meng, F Arbab, BK Aichernig, L Aştefănoaei, FS de Boer, J Rutten Science of Computer Programming 77 (7-8), 799-822, 2012	45*	2012
Mutation testing in UTP BK Aichernig, H Jifeng Formal Aspects of Computing 21, 33-64, 2009	44	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	43*	2019
Validating voice communication requirements using lightweight formal methods J Horl, BK Aichernig IEEE Software 17 (3), 21-27, 2000	41	2000
Efficient mutation killers in action BK Aichernig, H Brandl, E Jöbstl, W Krenn 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011	40	2011
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	40	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors