Publikationen pro Jahr
Publikationen pro Jahr
- 12 Ergebnisse
Suchergebnisse
-
2019
Programming Behavioral Test Models for SMT Solving in Scala
Aichernig, B., Maderbacher, B. & Tiran, S., 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, S. 52-60Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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 -
2016
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking
Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Band 9660. S. 15-32 18 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
On-the-Fly Determinization of Networks of Timed Automata
Aichernig, B. K. & Lorber, F. L., 2016, Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, S. 14-21 8 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2015
Bounded Determinization of Timed Automata with Silent Transitions
Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Incremental Model-based Mutation Testing
Tiran, S., 2015, IEEE International Conference on Software Testing, Verification and Validation. ., S. 1-2Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Killing Bugs in a Black Box with Model-based Testing
Aichernig, B. & Lorber, F. L., 10 Juni 2015.Publikation: Konferenzbeitrag › (Altdaten) Vortrag oder Präsentation
-
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
-
Scalable Incremental Test-case Generation from Large Behavior Models
Aichernig, B., Nickovic, D. & Tiran, S., 2015, Tests and Proofs. Springer, Band 9154. S. 1-18 (LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Aichernig, B. & Lorber, F. L., 2015, Software Testing, Verification and Validation Workshops (ICSTW) 2015. IEEE Publications, S. 1-6Publikation: 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