Bernhard Aichernig
Bernhard Aichernig
Graz Univ. of Technology (TU Graz)
Zweryfikowany adres z ist.tugraz.at - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Test case generation by OCL mutation and constraint solving
BK Aichernig, PAP Salas
Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005
1012005
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
782013
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
732015
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
602015
A proof obligation generator for VDM-SL
BK Aichernig, PG Larsen
FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997
491997
Survey on test data generation tools
SJ Galler, BK Aichernig
International Journal on Software Tools for Technology Transfer 16 (6), 727-751, 2014
482014
Mutation testing in the refinement calculus
BK Aichernig
Formal Aspects of Computing 15 (2), 280-295, 2003
482003
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
472017
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
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
452006
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
432014
Automated conformance verification of hybrid systems
H Brandl, M Weiglhofer, BK Aichernig
2010 10th International Conference on Quality Software, 3-12, 2010
432010
Mutation testing in UTP
BK Aichernig, H Jifeng
Formal Aspects of Computing 21 (1), 33-64, 2009
432009
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
42*2012
Model-based mutation testing of hybrid systems
BK Aichernig, H Brandl, E Jöbstl, W Krenn
International Symposium on Formal Methods for Components and Objects, 228-249, 2009
40*2009
Validating voice communication requirements using lightweight formal methods
J Horl, BK Aichernig
IEEE Software 17 (3), 21-27, 2000
402000
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
372011
Model-based mutation testing via symbolic refinement checking
BK Aichernig, E Jöbstl, S Tiran
Science of Computer Programming 97, 383-404, 2015
362015
Test-case calculation through abstraction
BK Aichernig
International Symposium of Formal Methods Europe, 571-589, 2001
36*2001
Mapping UML to labeled transition systems for test-case generation
W Krenn, R Schlick, BK Aichernig
International Symposium on Formal Methods for Components and Objects, 186-207, 2009
352009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20