Bernhard Aichernig

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	3103	1129
H-index	32	18
i10-index	90	32

320

160

240

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202525 14 21 31 37 23 56 39 57 58 96 84 106 118 100 116 154 183 148 175 257 176 181 218 225 305 24

גישה ציבורית

הצג הכל

11 מאמרים

2 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

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

עקוב אחר

Bernhard Aichernig

Graz Univ. of Technology (TU Graz)

כתובת אימייל מאומתת בדומיין ist.tugraz.at - דף הבית

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


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים