Segui
Bernhard Aichernig
Bernhard Aichernig
Graz Univ. of Technology (TU Graz)
Email verificata su ist.tugraz.at - Home page
Titolo
Citata da
Citata da
Anno
Test case generation by OCL mutation and constraint solving
BK Aichernig, PAP Salas
Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005
1082005
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
1042013
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
1032017
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
922015
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
842015
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
632014
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
582018
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
532014
A proof obligation generator for VDM-SL
BK Aichernig, PG Larsen
FME'97: Industrial Applications and Strengthened Foundations of Formalá…, 1997
531997
Mutation testing in the refinement calculus
BK Aichernig
Formal Aspects of Computing 15, 280-295, 2003
512003
Automated conformance verification of hybrid systems
H Brandl, M Weiglhofer, BK Aichernig
2010 10th International Conference on Quality Software, 3-12, 2010
472010
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
-based learning of Markov decision processes (extended version)
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
Formal Aspects of Computing 33 (4), 575-615, 2021
46*2021
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
462006
Validating voice communication requirements using lightweight formal methods
J Horl, BK Aichernig
IEEE Software 17 (3), 21-27, 2000
442000
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
Mutation testing in UTP
BK Aichernig, H Jifeng
Formal Aspects of Computing 21, 33-64, 2009
432009
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
41*2019
Efficient active automata learning via mutation testing
BK Aichernig, M Tappler
Journal of Automated Reasoning 63 (4), 1103-1134, 2019
40*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
402011
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20