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), Volume 220 , Issue 1 Pages: 63-77.

[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, Volume 19 Issue 3, Pages 215 - 261.

[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.

[SNAJ5] Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa, Fault-based conformance testing in practice, International Journal of Software and Informatics, 3(2–3):375–411, June/September 2009.

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, Pages: 286-291, 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, Pages: 69-89, 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, Proceedings of 1st IEEE Workshop on Automated Network Management, Pages: 1 - 6, 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, Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, Pages: 3-11, 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,Page: 45, (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, Pages: 75 - 84.

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), Pages: 161-168.

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

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,Pages: 255-262, 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), Pages: 20-17, 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), Pages: 32-39, 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), Pages: 331-343, 2008.

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 Mihai Nica, Bernhard Peischl 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, Proceedings of the 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Pages 363-372, Wroclaw, Poland

SNA30 Mihai Nica, Bernhard Peischl 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 Tilg, 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. BIS 2008, 10th International Conference for Business Information Systems, Pages 610-625, 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, Pages: 234-237, 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, Pages: 236-241, 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,Pages: 23-32, MobileHCI 2008.

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

SNA47 Leitner, M., Wolkerstorfer, P., Geven, A., Tscheligi, M.: How Online Communities support human values, Proceedings of the NordiCHI 2008: Using Bridges, Pages: 503-506, 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, Pages: 2151-2158, 2008, Florence, Italy.

SNA 50 Sara Shahzad, Zahid Hussain, Martin Lechner, Wolfgang Slany, Inside view of an Extreme Process (XP2008, Ireland), In Agile Processes in Software Engineering and Extreme Programming Pages 226-227, 2008.

SNA51 Hussain Z., Lechner M., Milchrahm H., Shahzad S., Slany W., Wolkerstorfer P., Vlk T.: Optimizing Extreme Programming, Proceedings of ICCCE08 Conference, Issue Date : 13-15 May 2008, Pages: 1052 - 1056, Jakarta, Malaysia.

SNA52 Zahid Hussain, Martin Lechner, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Martin Umgeher and Peter Wolkerstorfer, Integrating Extreme Programming and User-Centered Design (PPIG2008, UK), 174-179, 2008.

SNA53 Martin Lechner, Inside View of an Extreme Process, Proceedings of the Agile Conference 2008, Pages: 226-227 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), Pages: 313-330, Graz, Austria.

SNA55 Javed Ferzund, Syed Nadeem Ahsan and Franz Wotawa, Bug-Inducing Language Constructs, Proceedings of the 2009 16th Working Conference on Reverse Engineering, Pages: 155-159, 2009.

SNA56 Syed Nadeem Ahsan, Javed Ferzund and Franz Wotawa, Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla, 2009 Fourth International Conference on Software Engineering Advances, Portugal.

SNA57 Syed Nadeem Ahsan, Javed Ferzund and Franz Wotawa, Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine, 2009 Fourth International Conference on Software Engineering Advances, Portugal.

SNA58 Javed Ferzund, Syed Nadeem Ahsan, and Franz Wotawa, Software change classification using hunk metrics, 2009 IEEE International Conference on Software Maintenance, Canada.

SNA59 Birgit Hofer, Bernhard Peischl and Franz Wotawa: GUI Savvy End-to-End Testing with Smart Monkeys, AST 2009, Pages: 130-137, Canada.

SNA60 Martin Weiglhofer, Franz Wotawa, Asynchronous Input-Output Conformance Testing, 2009 33rd Annual IEEE International Computer Software and Applications Conference, USA.

SNA61 Martin Weiglhofer, Franz Wotawa, Improving Coverage Based Test Purposes, Proceedings of the 2009 Ninth International Conference on Quality Software.

SNA62 Martin Weiglhofer, Gordon Fraser and Franz Wotawa, Using Spectrum-Based Fault Localization for Test Case Grouping, 2009 IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand.

SNA63 Martin Weiglhofer, Gordon Fraser and Franz Wotawa, Using coverage to automate and improve test purpose based testing, Information and Software Technology 2009, Pages: 1601-1617.

SNA64 Andreas Berl, Roman Weidlich, Michael Schrank, Helmut Hlavacs and Hermann de Meer, Network Virtualization in Future Home Environments, International Workshop on Distributed Systems: Operations and Management (DSOM 2009), Integrated Management of Systems, Services, Processes and People in IT, Pages: 177-190, Italy.

SNA65 Bernhard Peischl, Naveed Riaz and Franz Wotawa, Test Patterns for Verilog Design Error Localization, Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009, UK.

SNA66 Bernhard Peischl, Naveed Riaz and Franz Wotawa, Employing Test Suites for Verilog Fault Localization, Current Topics in Artificial Intelligence: CAEPIA 2009- selected papers, Spain, 2009.

SNA67 Stefan Larndorfer, Rudolf Ramler, Clemens Buchwiser, Experiences and Results from Establishing a Software Cockpit at BMD Systemhaus, 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009, Greece.

SNA68 Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa, Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS, Proc. of SEKE 2009, Pages: 129-134, Boston, USA.

[SNA70] Schafhauser, W., A. Beer, N. Musliu, W. Slany, J. Gärtner, and K. Boonstra-Hörwein. Break optimization in shifts (abstract). 19th International Symposium on Shiftwork and Working Time Health and Well-being in the 24-h Society. 2009. San Servolo Island - Venezia, Italy: Working Time Society.

SNA71Thomas J. Vlk , Ideas on System Thinking and Acting: Basic Issues, Aporetic Constructs and Application of the Metanoia Principle, 2009 Fourth International Conference on Systems, France.

SNA72 Nysret Musliu, Werner Schafhauser, Magdalen Widl. A Memetic Algorithm for a Break Scheduling Problem. The 8th Metaheuristic International Conference (MIC 2009), Hamburg, Germany, July 13-16, 2009.

[SNA73] Werner Schafhauser, Andreas Beer, Johannes Gärtner, Nysret Musliu, Wolf-gang Slany. TEMPLE – a language for staff scheduling problems (abstract). EURO 2009 - 23rd European Conference on Operational Research, Bonn, July 5 - 8, 2009.

[SNA74] Nysret Musliu, Andreas Beer, Johannes Gärtner, Werner Schafhauser, Wolf-gang Slany. Local search for shift and break scheduling (abstract). EURO 2009 - 23rd European Conference on Operational Research, Bonn, July 5 - 8, 2009.

[SNA75] Andreas Beer, Johannes Gärtner, Nysret Musliu, Werner Schafhauser and Wolfgang Slany. Testing while modelling staff scheduling problems (abstract). EURO 2009 - 23rd European Conference on Operational Research, Bonn, July 5 - 8, 2009.

SNA76 Joanna Chimiak-Opoka, OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language, Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, 2009, USA.

SNA77 Michael Felderer, Philipp Zech, Frank Fiedler, Joanna Chimiak-Opoka, Ruth Breu, "Towards Adaptive Test Code Generation for Service Oriented Systems," qsic, pp.155-160, 2009 Ninth International Conference on Quality Software, 2009.

[SNA78] Felderer, M. and Fiedler, F. and Zech, P. and Breu, R., Model-driven System Testing of a Telephony Connector with Telling Test Stories. (2009), Proceedings of the CONQUEST 2009.

SNA79 Johann Schrammel, Michael Leitner and Manfred Tscheligi, Semantically structured tag clouds: an empirical evaluation of clustered presentation approaches, Proceedings of the 27th international conference on Human factors in computing systems, Pages: 2037-2040, 2009.

SNA79 Visual Search Strategies of Tag Clouds - Results from an Eyetracking Study Schrammel, Johann; Deutsch, Stephanie; Tscheligi, Manfred Human-Computer Interaction – INTERACT 2009, Lecture Notes in Computer Science, Volume 5727. ISBN 978-3-642-03657-6. Springer Berlin Heidelberg, 2009, p. 819.

SNA80 Ganglbauer, E., Schrammel, J., Deutsch, S., & Tscheligi, M. (2009). Applying psychophysiological methods for measuring user experience: possibilities, challenges and feasibility. Paper presented at User Experience Evaluation Methods in Product Development (UXEM’09) in conjunction with Interact'09.

[SNA81] S. Deutsch, J. Schrammel, and M. Tscheligi, "Investigating the perceptual aspects of tag clouds from a semantic clustering approach," in Proc. Workshop on Human Aspects of Visualization, INTERACT 2009, Sweden 2009.

[SNA82] Leitner, M., Wolkerstorfer, P., Geven, A., & Tscheligi, M. (2009). Evaluating a mobile multimedia application in field trials: the cost-benefit of self-report methods. Paper presented at Mobile Living Labs ‘09: Methods and Tools for Evaluation in the Wild in conjunction with MobileHCI 2009.

SNA83 Sandra Dittenberger, Arjan Geven, Manfred Tscheligi and Markus Mayer, Touch based interaction using a three display interface design, Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services, Germany 2009.

SNA86 Zahid Hussain, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Manfred Tscheligi and Peter Wolkerstorfer, Integration of Extreme Programming and User-Centered Design: Lessons Learned, Proceedings of Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009.

SNA87 Zahid Hussain, Wolfgang Slany and Andreas Holzinger, Current State of Agile User-Centered Design: A Survey, Springer Volume 5889/2009, Pages: 416-427.

SNA88 Zahid Hussain, Wolfgang Slany and Andreas Holzinger, Investigating Agile User-Centered Design in Practice: A Grounded Theory Perspective, Lecture Notes In Computer Science; Vol. 5889, Proceedings of the 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society on HCI and Usability for e-Inclusion.

SNA69 Andreas Beer, Johannes Gärtner, Nysret Musliu, Werner Schafhauser, Wolfgang Slany, An AI-Based Break-Scheduling System for Supervisory Personnel, IEEE Intelligent Systems, March/April 2010 (vol. 25 no. 2) pp. 60-73, 2010.

SNA85 Schrammel, J., Ganglbauer, E., & Tscheligi, M. (2010). Get up, move on! using electromyography to explore the relationship of experience and motion. Paper presented at CHI 2010 Workshop on Brain, Body and Bytes: Psychophysiological User Interaction.

[SNA84] Johann Schrammel, Martin Lugmayr, Franziska Hämmerle, Markus Murtinger, Manfred Tscheligi, Flexible und erfolgreiche Implementierung eines User Interface Styleguides mittels eines strukturierten Authoring-Konzeptes basierend auf DITA-Maps, in German UPA, 2010.

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).