• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Conference contribution
2019

An Approach to Test Classification in Big Android Applications

Hirsch, T., Schindler, C., Müller, M. & Slany, W., 2019, (Accepted/In press) Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security. IEEE Computer Society Conference Publishing Services, p. 300 8 p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

A Systematic Evaluation of Transient Execution Attacks and Defenses

Canella, C., Bulck, J. V., Schwarz, M., Lipp, M., Berg, B. V., Ortner, P., Piessens, F., Evtyushkin, D. & Gruss, D., 14 Aug 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 249-266 17 p. (arXiv.org e-Print archive).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
Program processors
Core meltdown
Firmware
Industry

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Aichernig, B., 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Springer, Vol. 11885. p. 22-38 ( Lecture Notes in Computer Science; vol. 11885).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Better Android Apps using Android Vitals

Harty, J. & Müller, M., 2019, Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics (WAMA ’19). Association of Computing Machinery, p. 26-32 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Chatbot testing using AI planning

Bozic, J., Tazl, O. A. & Wotawa, F., 17 May 2019, Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. Institute of Electrical and Electronics Engineers, p. 37-44 8 p. 8718222

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Planning
Communication
Testing
Decision making
Availability

Constraint-Based Testing of An Industrial Multi-Robot Navigation System

Mühlbacher, C., Steinbauer, G., Reip, M. & Gspandl, S., 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). p. 129-137

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Navigation systems
Robots
Testing
Navigation
Economics

Contributors' Impact on a FOSS Project's Quality

Schranz, T., Schindler, C., Müller, M. & Slany, W., 2019, Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies (SQUADE ’19). Association of Computing Machinery, p. 35-38 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Decision Biases in Preference Acquisition

Stettinger, M., Felfernig, A. & Samer, R., 2019, Proceedings of the 21st Configuration Workshop. p. 20-21 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools

Kandlhofer, M., Steinbauer, G., Laßnig, J. P., Baumann, W., Plomer, S., Ballagi, A. & Alfoldi, I., 2019, IEEE Conference on Frontiers in Education (FIE) 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Engaging Students in Open Source: Establishing FOSS Development at a University

Müller, M., Schindler, C. & Slany, W., 8 Jan 2019, Proceedings of the 52nd Annual Hawaii International Conference on System Sciences. p. 7721-7730 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
student
university
project organization
project management
software development

Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of Technology

Schindler, C. & Müller, M., Sep 2019, ECSA '19 - Proceedings of the 13th European Conference on Software Architecture . Association of Computing Machinery, Vol. 2. p. 100-104 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

bachelor
computer science
gender
programming
rating

Introducing Agile Product Owners in a FLOSS Project

Müller, M., Schindler, C. & Slany, W., 2019, Open Source Systems: 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings. Bordeleau, F., Sillitti, A., Meirelles, P. & Lenarduzzi, V. (eds.). p. 38-43 (IFIP Advances in Information and Communication Technology; vol. 556).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (eds.). Cham: Springer, p. 651 - 669 19 p. (Lecture Notes in Computer Science; vol. 11800).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Learned Constraint Ordering for Consistency Based Direct Diagnosis

Polat Erdeniz, S., Felfernig, A. & Atas, M., 2019, (Submitted) 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems  (IEA/AIE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Hybrid systems
Learning systems
Testing
Recurrent neural networks

Learning-Based Testing of an Industrial Measurement Device

Aichernig, B., Burghard, C. & Korosec, R., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Springer, p. 1-18 (Lecture Notes in Computer Science; vol. 11460).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Managing the Open Cathedral

Müller, M., 2019, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association of Computing Machinery, p. 1176-1179 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Matrix Factorization based Heuristics for Constraint-based Recommenders

Polat Erdeniz, S., Felfernig, A., Atas, M. & Samer, R., 2019, (Accepted/In press) The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19). 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

MINT-Robo: Empowering Gifted High School Students with Robotics

Kandlhofer, M., Steinbauer, G., Menzinger, M., Halatschek, R., Kemeny, F. & Landerl, K., 2019, IEEE Conference on Frontiers in Education (FIE) 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pocket Code - A Mobile Visual Programming Framework For App Development

Müller, M., Schindler, C. & Slany, W., 29 Aug 2019, 2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Predicting and Testing Latencies with Deep Learning: An IoT Case Study

Aichernig, B., Pernkopf, F., Schumi, R. A. & Wurm, A., 2019, Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Springer, p. 93-111 (Lecture Notes in Computer Science; vol. 11823).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 52-60

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Socially-Aware Diagnosis for Constraint-Based Recommendation

Atas, M., Samer, R., Felfernig, A., Tran, T. N. T., Polat Erdeniz, S. & Stettinger, M., 2019, Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization. ACM/IEEE, p. 121-129

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Software Testing: According to Plan!

Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Institute of Electrical and Electronics Engineers, p. 23-31 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Software testing
Planning
Testing
Intelligent agents
Artificial intelligence

Streamlining Value in a FOSS Project

Müller, M., Vorraber, W., Herold, M., Schindler, C., Slany, W. & Tanaka, K., Sep 2019, Proceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234 . Association of Computing Machinery, 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Synthesizing Reactive Systems Using Robustness and Recovery Specifications

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2019, (Accepted/In press) 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). IEEE CS, 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Specifications
Recovery

Testing Chatbots Using Metamorphic Relations

Bozic, J. & Wotawa, F., 2019, Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer, p. 41-55 (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, p. 216 - 235 20 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Towards Issue Recommendation for Open Source Communities

Samer, R., Felfernig, A. & Stettinger, M., 2019, IEEE/WIC/ACM International Conference on Web Intelligence. Thessaloniki, Greece: ACM/IEEE, p. 164-171 8 p. (WI '19).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Towards Social Choice-based Explanations in Group Recommender Systems

Tran, T. N. T., Atas, M., Felfernig, A., Le, V. M., Samer, R. & Stettinger, M., 2019, Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization. Larnaca, Cyprus: ACM/IEEE, p. 13-21 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Recommender systems

User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems

Tran, T. N. T., Felfernig, A., Le, V. M., Atas, M., Stettinger, M. & Samer, R., 2019, Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. Larnaca, Cyprus: ACM/IEEE, p. 93-98 6 p. (UMAP'19 Adjunct).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Using model-based reasoning for enhanced chatbot communication

Tazl, O. A. & Wotawa, F., 1 Jan 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings. Wotawa, F., Pill, I., Koitz-Hristov, R., Friedrich, G. & Ali, M. (eds.). Springer Verlag, p. 791-798 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Hotels
Inconsistency
Recommendations
Reasoning
Model-based

Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization

Eder, M. J., Reip, M. & Steinbauer, G., 15 Jun 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice: IEA/AIE 2019. Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M. (eds.). Springer, Cham, p. 700-713 14 p. (Lecture Notes in Computer Science; vol. 11606).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning systems
Robots
Mobile robots
Classifiers

Weighted Combinatorial Sequence Testing for the TLS Protocol

Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

“Computer Science for all”: Concepts to engage teenagers and non-CS students in technology

Spieler, B., Grandl, M., Ebner, M. & Slany, W., 1 Sep 2019, (Accepted/In press) Conference Proceeding ECGBL 2019. Odense, 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Bartocci, E., Bloem, R., Nickovic, D. & Röck, F., 2018, Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1. p. 547-564 18 p. (Lecture Notes in Computer Science; vol. 10980).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

A daily dose of DSL MDE micro injections in practice

Stieglbauer, G., Burghard, C., Sobernig, S. & Korošec, R., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. SciTePress 2013, Vol. 2018-January. p. 642-651 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

DSL
Industrial research

Adapting unit tests by generating combinatorial test data

Felbinger, H., Wotawa, F. & Nica, M., 16 Jul 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Institute of Electrical and Electronics Engineers, p. 352-355 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fault detection
Concretes
Testing

Adaptive System for Autonomous Driving

Wotawa, F. & Zimmermann, M., 9 Aug 2018, Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. Institute of Electrical and Electronics Engineers, p. 519-525 7 p. 8432021

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Adaptive systems
Availability
Sensors

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G., 2018, AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence. New Orleans, USA

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project

Müller, M., 21 Nov 2018, 2018 IEEE Conference on Open Systems (ICOS). Langkawi, Malaysia: Institute of Electrical and Electronics Engineers, p. 1-6 6 p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

​An Autonomous Vehicle for Parcel Delivery in Urban Areas

Buchegger, A., Lassnig, K., Loigge, S., Mühlbacher, C. & Steinbauer, G., 2018, 21st IEEE International Conference on Intelligent Transportation Systems. IEEE Xplore, p. 2961-2967

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Note on Planar Monohedral Tilings

Aichholzer, O., Kerber, M., Talata, I. & Vogtenhuber, B., 2018, Proc. 34th European Workshop on Computational Geometry EuroCG '18. Berlin, Germany, p. 31:1-31:6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Arrangements of pseudocircles: Triangles and drawings

Felsner, S. & Scheucher, M., 1 Jan 2018, Graph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers. Springer Verlag Heidelberg, p. 127-139 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10692 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Triangle
Arrangement
Pairwise
Simple Closed Curve
Lower bound

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

Automated Identification of Type-Specific Dependencies between Requirements

Atas, M., Samer, R. & Felfernig, A., 2018, 2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018. p. 688-695 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bounded Synthesis of Register Transducers

Khalimov, A., Maderbacher, B. & Bloem, R., 2018, Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lahiri, S. & Wang, C. (eds.). p. 494-510 17 p. ( Lecture Notes in Computer Science; vol. 11138).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring

Polat Erdeniz, S. & Felfernig, A., 2018, 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT'18). p. 401-404 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Combining spreadsheet smells for improved fault prediction

Koch, P., Schekotihin, K., Jannach, D., Hofer, B., Wotawa, F. & Schmitz, T., 27 May 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2018. IEEE Computer Society, 1998, p. 25-28 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Spreadsheets
Adaptive boosting
Learning systems
Software engineering
Industry

Configuring Release Plans

Felfernig, A., Spöcklberger, J., Samer, R., Stettinger, M., Atas, M., Tiihonen, J. & Raatikainen, M., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 9-14 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review