Volgen
Bernhard Aichernig
Bernhard Aichernig
Graz Univ. of Technology (TU Graz)
Geverifieerd e-mailadres voor ist.tugraz.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Test case generation by OCL mutation and constraint solving
BK Aichernig, PAP Salas
Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005
131*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
942013
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
882015
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
852017
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
812015
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
622014
Mutation testing in the refinement calculus
BK Aichernig
Formal Aspects of Computing 15, 280-295, 2003
502003
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
492018
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
492014
A proof obligation generator for VDM-SL
BK Aichernig, PG Larsen
FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997
491997
Mutation testing in UTP
BK Aichernig, H Jifeng
Formal Aspects of Computing 21, 33-64, 2009
47*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
472007
Automated conformance verification of hybrid systems
H Brandl, M Weiglhofer, BK Aichernig
2010 10th International Conference on Quality Software, 3-12, 2010
452010
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
452006
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
43*2012
Validating voice communication requirements using lightweight formal methods
J Horl, BK Aichernig
IEEE Software 17 (3), 21-27, 2000
422000
Efficient mutation killers in action
BK Aichernig, H Brandl, E Jöbstl, W Krenn
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
402011
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
392011
Automated black-box testing with abstract VDM oracles
BK Aichernig
International Conference on Computer Safety, Reliability, and Security, 250-259, 1999
39*1999
Model-based mutation testing via symbolic refinement checking
BK Aichernig, E Jöbstl, S Tiran
Science of Computer Programming 97, 383-404, 2015
382015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20