Bernhard Aichernig
Bernhard Aichernig
Graz Univ. of Technology (TU Graz)
Verified email at - Homepage
Cited by
Cited by
Test case generation by OCL mutation and constraint solving
BK Aichernig, PAP Salas
Fifth International Conference on Quality Software (QSIC'05), 64-71, 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
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
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
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
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
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
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
Mutation testing in the refinement calculus
BK Aichernig
Formal Aspects of Computing 15, 280-295, 2003
A proof obligation generator for VDM-SL
BK Aichernig, PG Larsen
FME'97: Industrial Applications and Strengthened Foundations of Formalá…, 1997
Mutation testing in UTP
BK Aichernig, H Jifeng
Formal Aspects of Computing 21, 33-64, 2009
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
Automated conformance verification of hybrid systems
H Brandl, M Weiglhofer, BK Aichernig
2010 10th International Conference on Quality Software, 3-12, 2010
From faults via test purposes to test cases: On the fault-based testing of concurrent systems
BK Aichernig, CC Delgado
FASE 3922, 324-338, 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
Validating voice communication requirements using lightweight formal methods
J Horl, BK Aichernig
IEEE Software 17 (3), 21-27, 2000
Model-based mutation testing via symbolic refinement checking
BK Aichernig, E J÷bstl, S Tiran
Science of Computer Programming 97, 383-404, 2015
Efficient mutation killers in action
BK Aichernig, H Brandl, E J÷bstl, W Krenn
2011 Fourth IEEE International Conference on Software Testing, Verificationá…, 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
Automated black-box testing with abstract VDM oracles
BK Aichernig
International Conference on Computer Safety, Reliability, and Security, 250-259, 1999
The system can't perform the operation now. Try again later.
Articles 1–20