Publikationen pro Jahr
Publikationen pro Jahr
- 13 Ergebnisse
Suchergebnisse
-
2017
Require, test, and trace IT
Aichernig, B. K., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 2017, in: International Journal on Software Tools for Technology Transfer. 19, S. 409-426Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
2015
Killing strategies for model-based mutation testing
Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R. & Tiran, S., 2015, in: Software Testing, Verification and Reliability. 25, 8, S. 716-748Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
Model-Based Mutation Testing via Symbolic Refinement Checking
Aichernig, B., Jöbstl, E. & Tiran, S., 2015, in: Science of Computer Programming . 97, Part 4, S. 383-404Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
MoMuT::UML - model-based mutation testing for UML
Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, S. 1-8Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Require, Test and Trace IT
Aichernig, B., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 2015, Formal Methods for Industrial Critical Systems. Cham: Springer, S. 113-127 (Lecture Notes in Computer Science; Band 9128).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2014
Debugging with Timed Automata Mutations
Aichernig, B., Hörmaier, K. & Lorber, F. L., 2014, Computer Safety, Reliability, and Security. Bondavalli, A. & Di Giandomenico, F. (Hrsg.). Springer International Publishing AG , Band 8666. S. 49-64 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Formal Test-Driven Development with Verified Test Cases
Aichernig, B., Lorber, F. L. & Tiran, S., 2014, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications, S. 626-635Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Integration of Requirements Engineering and Test-Case Generation via OSLC
Aichernig, B., Hörmaier, K., Lorber, F., Nickovic, D., Schlick, R., Tiran, S. & Simoneau, D., 2014, 2014 14th International Conference on Quality Software. ., S. 117-126Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2013
Model-based mutation testing of reactive systems - from semantics to automated test-case generation
Aichernig, B., 2013, Theories of Programming and Formal Methods. ., S. 23-36Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
On the Effects of UML Modeling Styles in Model-based Mutation Testing
Tiran, S., 2013Publikation: Studienabschlussarbeit › Masterarbeit
Open AccessDatei -
Time for Mutants —Model-based Mutation Testing with Timed Automata
Aichernig, B., Lorber, F. L. & Nickovic, D., 2013, Tests and Proofs . Springer, S. 20-38 (Lecture Notes in Computer Science; Band 7942).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2012
Formal Test-Driven Development with Verified Test Cases
Aichernig, B., Lorber, F. L. & Tiran, S., 2012, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
Integrating model-based testing and analysis tools via test case exchange
Aichernig, B., Lorber, F. L. & Tiran, S., 2012, IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, S. 119-126Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung