Publications

Scientific Journals

[SNAJ1] Aichernig, B.; Weiglhofer, M.; Wotawa, F.: Improving Fault-based Conformance Testing. - in: Electronic notes in theoretical computer science [Elektronische Ressource] (2008) In Press.

[SNAJ2] H. Hlavacs, W. Gansterer, H. Schabauer, J. Zottl, M. Petraschek, T. Hoeher, O. Jung, Enhancing ZRTP by using Computational Puzzles, Journal of Universal Computer Science 14-5 (2008), pp. 693-716.

[SNAJ3] Gordon Fraser, Franz Wotawa, Paul Ammann, Testing with Model Checkers: A Survey, Software Testing, Verification and Reliability, Accepted for Publication.

[SNAJ4] Chimiak-Opoka, J. and Lenz, C. (2006) Use of OCL in a Model Assessment Framework: An experience report. Electronic Communications of the EASST, 5 .ISSN 1863-2122.

Scientific Conferences

[SNA1] Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer and Franz Wotawa. Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods. In Proceedings of the 5th International Conference on Software Engineering and Formal Methods (SEFM 2007), pages 215-224, London, United Kingdom, September 10-14, 2007.

[SNA2] Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer and Franz Wotawa. Test Purpose Generation in an Industrial Application. In Proceedings of the 3rd International Workshop on Advances in Model-Based Testing (A-MOST 2007), pages 115-125, London, United Kingdom, July 9-12, 2007.

[SNA3] Martin Weiglhofer and Franz Wotawa. Random vs. Scenario-Based vs. Fault-Based Testing: An Industrial Evaluation of Formal Black-Box Testing Methods To appear in Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira - Portugal, 2008.

[SNA4] Bernhard Peischl, Martin Weiglhofer and Franz Wotawa. Executing Abstract Test Cases. In Proceedings of the Model-based Testing Workshop held in conjunction with the 37th Annual Congress of the Gesellschaft für Informatik (MOTES 2007), pages 421-426, Bremen, Germany, September 27th, 2007.

[SNA5] Martin Weiglhofer and Franz Wotawa. "On the Fly" Input Output Conformance Verification, Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, Austria, 2007.

[SNA6] Bernhard K. Aichernig and Martin Weiglhofer, Unifying Input Output Conformance, 2nd International Symposium on Unifying Theories of Programming (delegate proceedings), pages 97 – 116, 2008.

[SNA7] Stefan Galler, Bernhard Peischl and Franz Wotawa, Challanging Automatic Testcase Generation Tools with Real World Applications, To appear in the Proceedings of IASTED SEA 2008.

[SNA8] A. Hess, M. Nussbaumer, H. Hlavacs, K.A. Hummel, Automatic Adaptation and Analysis of SIP Headers using Decision Trees, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008.

[SNA9] H. Hlavacs, K.A. Hummel, A. Hess, M. Nussbaumer, Babel-SIP: Self-learning SIP Message Adaptation for Increasing SIP-Compatibility, 1st IEEE Workshop on Automated Network Management, in conjunction with IEEE INFOCOM 2008, Phoenix, Arizona, April 13-18, 2008.

[SNA10] A. Beer, S. Mohacsi, Efficient Test Data Generation for Variables with Complex Dependencies, IEEE International Conference on Software Testing, Verification and Validation, April, 2008.

[SNA11] Gordon Fraser, Franz Wotawa, Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers, Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007);

[SNA12] Duminda Wijesekera, Lingya Sun, Paul Ammann, Gordon Fraser, Relating counterexamples to test cases in CTL model checking Specifications, A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing;

[SNA13] Gordon Fraser, Franz Wotawa, Creating Test-Cases Incrementally with Model-Checkers, Proceedings of the Workshop on Model-Based Testing (MOTES 2007) held in conjunction with the 37th Annual Congress of the Gesellschaft für Informatik;

[SNA14] Gordon Fraser, Franz Wotawa, Mutant Minimization for Model-Checker Based Test-Case Generation, Proceedings of the Third Workshop on Mutation Analysis (Mutation 2007);

[SNA15] Gordon Fraser and Franz Wotawa, Improving Model-Checkers for Software Testing, Proceedings of the International Conference on Software Quality (QSIC'07).

[SNA16] Gordon Fraser, Franz Wotawa, Nondeterministic Testing with Linear Model-Checker Counterexamples, Proc. of the International Conference on Software Quality (QSIC'07).

[SNA17] Beer, Ramler: The Role of Experience in Software Testing Practice, 34th Euromicro SEAA Conference, Parma, 3-5 September 2008.

[SNA18] Stefan Larndorfer, Rudolf Ramler, Christian Federspiel, Klaus Lehner, Testing High-Reliability Software for Continous Casting Steel Plants – Experiences and Lessons Learned from Siemens VAI, Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, Lübeck (Germany), August 2007.

[SNA19] S. Larndorfer, R. Ramler. TestCockpit: Business intelligence for test management. In P. Müller, P. Liggesmeyer (editors). Proc. of the Work in Progress Session in conjunction with 33rd EUROMICRO Conf. on Software Engineering and Advanced Applications, J. Kepler University Linz. 2007.

[SNA20] Gordon Fraser and Franz Wotawa. Ordering Coverage Goals in Model Checker Based Testing. In Proceedings of the Fourth International Workshop on Advances in Model Based Testing (A-MOST 2008), 2008.

[SNA21] Harald Brandl, Gordon Fraser and Franz Wotawa. QR-Model Based Testing. In Proceedings of the Third International Workshop on Automation in Software Test (AST'08), 2008.

[SNA22] Gordon Fraser and Paul Ammann. Reachability and Propagation for LTL Requirements Testing. In Proceedings of the International Conference on Software Quality (QSIC'08), 2008.

[SNA23] Franz Wotawa, Bridging the gap between slicing and model-based diagnosis. - in: Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 836 – 841, 2008

[SNA24] Wotawa, F.; Ahsan, S. N., Ferzund J., A Database for the Analysis of Program Change Patterns. - in: 4th International Conference on Networked Computing and Advanced Information Management (NCM2008), 2008

[SNA25] Wotawa, F.; Ahsan, S. N., Ferzund, J., Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software. - in: Proceedings of the International Conference of Software Process and Product Management (MENSURA), 2008. In Press

[SNA26] Wotawa, F.; Ahsan, S. N., Ferzund J., Automated Classification of Faults in Programs using Machine Learning Techniques. - in: Proceedings of the Artificial Intelligence Techniques in Software Engineering Workshop, pp. 31 – 35, 2008

[SNA27] Bernhard Peischl, Naveed Riaz and Franz Wotawa, Model-based Reasoning with Multiple Test Cases and its Application to Debugging, In the Proceedings of the 19th International Workshop on Principles of Diagnosis (DX-08), September 2008.

[SNA28] Bernhard Peischl, Mihai Nica and Franz Wotawa, A Constraint Model for Automated Deployment of Automotive Control Software, In the Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE 2008).

[SNA29] Bernhard Peischl, Naveed Riaz and Franz Wotawa, Advances in Automated Source-Level Debugging of Verilog Designs, To appear in the Proceedings of the 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Wroclaw, Poland

[SNA30] Bernhard Peischl, Mihai Nica and Franz Wotawa, A Generative Constraint Model for Optimizing Software Deployment, In the Proceedings of the International Configuration Workshop at ECAI 08.

[SNA31] Harald Brandl, Franz Wotawa and Gordon Fraser, A Report on QR-Based Testing, 22nd International Workshop on Qualitative Reasoning, pages 1-9, 2008.

[SNA32] Slany, W.: Comparing mathematical, local search and hybrid heuristics for solving the minimum shift design problem with breaks. - in: Workshop on Mathematical Contributions to Metaheuristics 2006.

[SNA33] Hussain Z., Lechner M., Milchrahm M., Shahzad S., Slany W., Umgeher M., Vlk T.: The Sustainable Application of Leadership and Teaming in HRM- Models for the Today’s Organisation’s Needs – a Meta-Level Perspective, T²S Conference 2007 Palm Desert, CA, USA

[SNA34] Andreas Beer, Johannes Gärtner, Nysret Musliu, Werner Schafhauser, Wolfgang Slany. Scheduling Breaks in Shift Plans for Call Centers. In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling, Montréal, August 18 - 22, 2008, to appear.

[SNA35] Andreas Beer, Johannes Gärtner, Nysret Musliu, Werner Schafhauser, Wolfgang Slany. An Iterated Local Search Algorithm for a Real-Life Break Scheduling Problem (abstract). Matheuristics 2008- Second International Workshop on Model Based Metaheuristics, June 16 - 18, 2008, Bertinoro, Italy.

[SNA36] Markus Triska, Nysret Musliu. Solving the Social Golfer Problem with a GRASP. In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling, Montréal, August 18 - 22, 2008, to appear.

[SNA37] Markus Triska, Nysret Musliu. An Improved SAT Formulation for the Social Golfer Problem. In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling, Montréal, August 18 - 22, 2008, to appear.

[SNA38] Michael Felderer, Advanced OCL Editor based on Eclipse OCL, Tool Demonstration Session, OCL Workshop 2008.

[SNA39] Querying UML Models using OCL and Prolog: A Performance Study, ICST Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Lillehammer, Norway, 2008 (MoDeVVa 2008).

[SNA40] Joanna Chimiak-Opoka and Chris Lenz, Use of OCL in a Model Assessment Framework: An Experience Report, In Proceedings of the OCLApps Workshop, pp. 53-67, 2006.

[SNA41] Bernd Tolg, Joanna Chimiak-Opoka, Chris Lenz and Ruth Breu: Towards Operationalizing Strategic Alignment of IT by Usage of Software Engineering Methods – An Enterprise Modeling Oriented Approach to IT Governance. Accepted for BIS 2008, 10th International Conference for Business Information Systems, 25-27th April 2007, Poznan, Poland.

[SNA42] Geven, A., Strassl, P., Ferro, B., Tscheligi, M., Schwab, H. (2007). Experiencing Real-World Interaction - Results from a NFC User Experience Field Trial. Proceedings of the Ninth International Conference on Human Computer Interaction with Mobile Devices and Services, MobileHCI 2007, pp.192-195.

[SNA43] Geven, A., Schrammel, J., Tscheligi, M. & Mayer, M. (2008). Cell Phone Design for Teenage Use. In: Proceedings of the IASTED-HCI Conference, 17-19 March 2008, Innsbruck, Austria.

[SNA44] Schrammel, J. and Tscheligi. M. (2008). New approaches for the design and implementation of user interface styleguides. UPA Europe 2008 Conference, Turin.

[SNA45] Geven, A., Tscheligi, M., Sefelin, R., Mayer, M. (2008) Always-on Information - Services and Applications on the Mobile Desktop. Proceedings of the Tenth International Conference on Human Computer Interaction with Mobile Devices and Services, MobileHCI 2008

[SNA46] Leitner, M., Wolkerstorfer, P., Sefelin, R., Tscheligi, M.: Mobile Multimedia: Identifying User Goals Using the Means-End Theory. Proceedings of the the Tenth International Conference on Human Computer Interaction with Mobile Devices and Services, MobileHCI 2008

[SNA47] Leitner, M., Wolkerstorfer, P., Geven, A., Tscheligi, M.: How Online Communities support human values, Proceedings of the NordiCHI 2008: Using Bridges, 18-22 October, Lund, Sweden (Methode: Laddering Interviews)

[SNA48] Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, Thomas Vlk, Peter Wolkerstorfer,, User Interface Design for a Content-aware Mobile Multimedia Application: An Iterative Approach (IIWAS07, Jakarta).

[SNA49] Hussain Z., Lechner M., Milchrahm H., Tscheligi M., Sefelin R., Shahzad S., Wolkerstorfer P.: Probing an Agile Usability Process, CHI2008, Florence, Italy.

[SNA 50] Sara Shahzad, Zahid Hussain, Martin Lechner, Wolfgang Slany, Inside view of an Extreme Process (XP2008, Ireland).

[SNA51] Hussain Z., Lechner M., Milchrahm H., Shahzad S., Slany W., Wolkerstorfer P., Vlk T.: Optimizing Extreme Programming, ICCCE08 Conference, Jakarta, Malaysia.

[SNA52] Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher1 and Peter Wolkerstorfer, Integrating Extreme Programming and User-Centered Design (PPIG2008, UK).

[SNA53] Martin Lechner, Inside View of an Extreme Process, Agile Conference 2008, Limerick, Ireland.

[SNA54] Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher, and Peter Wolkerstorfer, Agile User-Centered Design Applied to a Mobile Multimedia Streaming Application (USAB2008, Graz, Austria).

Books

Bernhard Peischl und Gerald Steinbauer, Editorial zum ECAI Workshop on Model-based Systems, Patras, Greece, Juni 2008.

Technical Reports

[SNA-TR-1] A LOTOS Formalization of SIP, SNA-TR-2006-1P1, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-2] Conformance Testing of a Session Initiation Protocol Registrar, SNA-TR-2007-1P2, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-3] Formal Specification Languages for Design by- Contract in Java: A survey, SNA-TR-2007-1P3, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-4] Automatic Test Generation Tools for Java based on Design-by-Contract: A survey, SNA-TR-2007-1P4, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-5] Distributed Testing Based on Partially Controllable Test Cases, SNA-TR-2007-1P5, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-6] Availability und Reliability, UoV, Department of Distributed Multimedia Systems, Universität Wien.

[SNA-TR-7] Peer to Peer SIP, Department of Distributed Multimedia Systems, Universität Wien.

[SNA-TR-8] Perfomance, Department of Distributed Multimedia Systems, Universität Wien.

[SNA-TR-9] VoIP Security, Department of Distributed Multimedia Systems, Universität Wien.

[SNA-TR-10] Testing High-Reliability Software for Continuous Casting Steel Plants – Experiences and Lessons Learned from Siemens VAI, Software Competence Center Hagenberg.

[SNA-TR-11] Basel II – Subsidary Connection, Cirquent GmbH.

[SNA-TR-12] Telephone Directory New, Cirquent GmbH.

[SNA-TR-13] Standards und Zertifizierung sicherheitskritischer Software, SNA-TR-2006-01, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-14] Standards for Safety Critical Software: Validation-, Verification- and Testing Requirements, SNA-TR-2007-01, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-15] Standards and Certification of Non-Safety Critical Software, Cirquent GmbH.

[SNA-TR-16] A Formal Model for IDATG Task Flows, Institut für Softwaretechnologie, Technische Universität Graz.

[SNA-TR-17] Leitner, M., Wolkerstorfer, P., Höller N., Geven A., Tscheligi. M., User Enhanced Value Chains: Introducing a User Centered and Value Driven Innovation Process; (Eingerreicht bei SIGCHI conference on Human Factors in Computing Systems, April 2009).

[SNA-TR-18] Geven, A., Sefelin, R. Tscheligi, M., Mayer. M.: Group Conjoint Analysis. A new approach to measure the interrelation between feature and form-factor preferences among young adults. (geplant: Interact, August 2009).

[SNA-TR-19] Geven, A:, Schrammel, J., Sefelin, R., Tscheligi, M., Mayer, M.: Mobile Touch Screen Interaction for Teen Use. (geplant: interact, August 2009).

[SNA-TR-20] Schrammel,J., Tscheligi, M.: Semantically Structured Tag Clouds: An Empirical Evaluation of Clustered Presentation Approaches (eingereicht bei: SIGCHI conference on Human Factors in Computing Systems, April 2009).