Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Elisabeth Jöbstl"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 80, Iss Proc. MBT 2012, Pp 88-102 (2012)
Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an ap
Externí odkaz:
https://doaj.org/article/f9393d5f128f4b588ecc14da0559bfb1
Autor:
Robert Korošec, Priska Bauerstätter, Severin Kann, Elisabeth Jöbstl, Rupert Schlick, Richard Schumi, Cristinel Mateis, Bernhard K. Aichernig, Willibald Krenn
Publikováno v:
Software Quality Journal. 27:757-795
Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for interactive systems. However, it is still challenging to test if a system provides accepta
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 85:806-823
In this paper we describe an advanced test-case generation technique that is implemented in our model-based test-case generator MoMuT::UML. The tool injects faults into a UML model and analyses if the faults propagate to the interface. If a fault doe
Publikováno v:
Science of Computer Programming. 97:383-404
In model-based mutation testing, a test model is mutated for test case generation. The resulting test cases are able to detect whether the faults in the mutated models have been implemented in the system under test. For this purpose, a conformance ch
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 80, Iss Proc. MBT 2012, Pp 88-102 (2012)
MBT
MBT
Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an ap
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 36:1-8
This paper presents a novel model-based test case generation approach that automatically derives test cases from UML state machines. UML is given a two-layered formal semantics by (1) mapping UML class diagrams and state charts to Back's Action Syste
Autor:
Rupert Schlick, Elisabeth Jöbstl, Harald Brandl, Bernhard K. Aichernig, Willibald Krenn, Stefan Tiran
Publikováno v:
ICST
Model-based mutation testing (MBMT) is a promising testing methodology that relies on a model of the system under test (SUT) to create test cases. Hence, MBMT is a so-called black-box testing approach. It also is fault based, as it creates test cases
Publikováno v:
Software Testing, Verification and Reliability
Publikováno v:
Journal of Agricultural and Food Chemistry. 54:4077-4081
Interaction of the tea polyphenol epigallocatechin gallate (EGCG) with beta-casein in milk affects the taste of tea and also affects the stability of the tea and the antioxidant ability of the EGCG. In addition, interaction of polyphenols with the ch
Publikováno v:
Biomacromolecules. 5:942-949
Polyphenols are responsible for the astringency of many beverages and foods. This is thought to be caused by the interaction of polyphenols with basic salivary proline-rich proteins (PRPs). It is widely assumed that the molecular origin of astringenc