Bernhard Aichernig

Cited by

	All	Since 2017
Citations	2389	1040
h-index	30	16
i10-index	71	29

260

130

195

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120226 7 17 14 21 23 38 24 55 42 63 61 100 84 100 112 92 115 138 177 149 176 249 162 188 106

Public access

View all

7 articles

1 article

available

not available

Based on funding mandates

Co-authors

Martin TapplerGraz University of TechnologyVerified email at ist.tugraz.at
Florian LorberAalborg UniversityVerified email at cs.aau.dk
Willibald KrennSAL Silicon Austria LabsVerified email at silicon-austria.com
Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
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
Richard SchumiSingapore Management University (SMU)Verified email at smu.edu.sg
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Andreas GriesmayerImperial College LondonVerified email at arm.com
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Andrea PferscherPhD-Student, Institute of Software Technology, Graz University of TechnologyVerified email at ist.tugraz.at
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Edi MuškardinSillicon-Austria LabsVerified email at silicon-austria.com
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
Franz PernkopfGraz University of TechnologyVerified email at tugraz.at
Markus TranningerGraz University of TechnologyVerified email at tugraz.at
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com

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
Test case generation by OCL mutation and constraint solving BK Aichernig, PAP Salas Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005	106	2005
Time for mutants—model-based mutation testing with timed automata BK Aichernig, F Lorber, D Ničković International Conference on Tests and Proofs, 20-38, 2013	85	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	83	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	76	2015
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	74	2017
Survey on test data generation tools SJ Galler, BK Aichernig International Journal on Software Tools for Technology Transfer 16 (6), 727-751, 2014	57	2014
A proof obligation generator for VDM-SL BK Aichernig, PG Larsen FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997	50	1997
Mutation testing in the refinement calculus BK Aichernig Formal Aspects of Computing 15 (2), 280-295, 2003	49	2003
Model-based mutation testing of an industrial measurement device BK Aichernig, J Auer, E Jöbstl, R Korošec, W Krenn, R Schlick, ... International Conference on Tests and Proofs, 1-19, 2014	48	2014
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
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, 74-100, 2018	45	2018
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	45	2006
Automated conformance verification of hybrid systems H Brandl, M Weiglhofer, BK Aichernig Quality Software, International Conference on, 3-12, 2010	44	2010
Mutation testing in UTP BK Aichernig, H Jifeng Formal Aspects of Computing 21 (1), 33-64, 2009	43	2009
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	41*	2012
Incremental refinement checking for test case generation BK Aichernig, E Jöbstl, M Kegele International conference on tests and proofs, 1-19, 2013	40*	2013
Validating voice communication requirements using lightweight formal methods J Horl, BK Aichernig IEEE Software 17 (3), 21-27, 2000	39	2000
Model-based mutation testing via symbolic refinement checking BK Aichernig, E Jöbstl, S Tiran Science of Computer Programming 97, 383-404, 2015	38	2015
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	38	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	37	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