Franz Wotawa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models

Pill, Ingo, Rubil, Ivan, Wotawa, Franz, Nica, Mihai

Year:

2016

Language:

english

File:

PDF, 493 KB

english, 2016

52

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || A Taxonomy of Event Prediction Methods

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 833 KB

english, 2019

53

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || Decision-Making Support Method Based on Sentiment Analysis of Objects and Binary Decision Tree Mining

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 580 KB

english, 2019

54

[IEEE 2009 33rd Annual IEEE Software Engineering Workshop - Skovde, TBD, Sweden (2009.10.13-2009.10.14)] 2009 33rd Annual IEEE Software Engineering Workshop - Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods

Ahsan, Syed Nadeem, Ferzund, Javed, Wotawa, Franz

Year:

2009

Language:

english

File:

PDF, 282 KB

english, 2009

55

[Lecture Notes in Computer Science] Testing Software and Systems Volume 9976 || Risk-Based Interoperability Testing Using Reinforcement Learning

Wotawa, Franz, Nica, Mihai, Kushik, Natalia

Year:

2016

Language:

english

File:

PDF, 921 KB

english, 2016

56

[Lecture Notes in Computer Science] Testing Software and Systems Volume 9976 || Towards Model Construction Based on Test Cases and GUI Extraction

Wotawa, Franz, Nica, Mihai, Kushik, Natalia

Year:

2016

Language:

english

File:

PDF, 114 KB

english, 2016

57

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || Towards Analyzing the Impact of Diversity and Cardinality on the Quality of Collective Prediction Using Interval Estimates

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 339 KB

english, 2019

58

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Software Testing: According to Plan!

Bozic, Josip, Wotawa, Franz

Year:

2019

File:

PDF, 37 KB

2019

59

A Model for Bio-Inspired Underwater Swarm Robotic Exploration

Varughese, Joshua Cherian, Thenius, Ronald, Leitgeb, Paul, Wotawa, Franz, Schmickl, Thomas

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 893 KB

english, 2018

60

[IEEE 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 14th International Workshop on Automation of Software Test (AST) - Fully Automated Compiler Testing of a Reasoning Engine via Mutated Grammar Fuzzing

Koroglu, Yavuz, Wotawa, Franz

Year:

2019

File:

PDF, 129 KB

2019

61

From Neural Networks to Qualitative Models in Environmental Engineering

Dominik Wieland, Franz Wotawa, Gerhard Wotawa

Journal:

Computer-Aided Civil and Infrastructure Engineering

Year:

2002

Language:

english

File:

PDF, 222 KB

english, 2002

62

[IEEE 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement (IWSM-MENSURA) - Nara, Japan (2011.11.3-2011.11.4)] 2011 Joint Conference of the 21st International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement - Fault Prediction Capability of Program File's Logical-Coupling Metrics

Ahsan, Syed Nadeem, Wotawa, Franz

Year:

2011

Language:

english

File:

PDF, 347 KB

english, 2011

63

[IEEE 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Gaithersburg, MD, USA (2015.11.2-2015.11.5)] 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Conditional slicing: Reducing dynamic slices

Hofer, Birgit, Hinteregger, Georg, Wotawa, Franz

Year:

2015

Language:

english

File:

PDF, 58 KB

english, 2015

64

[IEEE 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Gaithersburg, MD, USA (2015.11.2-2015.11.5)] 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Analyzing the reduction of test suite redundancy

Pill, Ingo, Jehan, Seema, Wotawa, Franz, Nica, Mihai

Year:

2015

Language:

english

File:

PDF, 949 KB

english, 2015

65

[Lecture Notes in Computer Science] Testing Software and Systems Volume 9976 ||

Wotawa, Franz, Nica, Mihai, Kushik, Natalia

Year:

2016

Language:

english

File:

PDF, 11.26 MB

english, 2016

66

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites

Felbinger, Hermann, Wotawa, Franz, Nica, Mihai

Year:

2017

Language:

english

File:

PDF, 384 KB

english, 2017

67

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Results of a Comparative Study of Code Coverage Tools in Computer Vision

Nica, Iulia, Jakob, Gerhard, Juhart, Kathrin, Wotawa, Franz

Year:

2017

Language:

english

File:

PDF, 260 KB

english, 2017

68

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

Getzner, Elisabeth, Hofer, Birgit, Wotawa, Franz

Year:

2017

Language:

english

File:

PDF, 797 KB

english, 2017

69

[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - Improving Model-Checkers for Software Testing

Fraser, Gordon, Wotawa, Franz

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

70

Constraint-based configuration of embedded automotive software

Nica, Mihai, Peischl, Bernhard, Wotawa, Franz

Journal:

International Journal of Mass Customisation

Year:

2010

Language:

english

File:

PDF, 617 KB

english, 2010

71

[Lecture Notes in Computer Science] KI 2016: Advances in Artificial Intelligence Volume 9904 || A Robotic Home Assistant with Memory Aid Functionality

Friedrich, Gerhard, Helmert, Malte, Wotawa, Franz

Year:

2016

Language:

english

File:

PDF, 965 KB

english, 2016

72

[IEEE 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Vienna, Austria (2016.8.1-2016.8.3)] 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing

Year:

2016

Language:

english

File:

PDF, 255 KB

english, 2016

73

[Lecture Notes in Computer Science] KI 2016: Advances in Artificial Intelligence Volume 9904 || Trending Topic Aggregation by News-Based Context Modeling

Friedrich, Gerhard, Helmert, Malte, Wotawa, Franz

Year:

2016

Language:

english

File:

PDF, 525 KB

english, 2016

74

[IEEE 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Vasteras (2018.4.9-2018.4.13)] 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System

Year:

2018

Language:

english

File:

PDF, 148 KB

english, 2018

75

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || Introducing the Theory of Probabilistic Hierarchical Learning for Classification

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 324 KB

english, 2019

76

[IEEE 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Porto, Portugal (2020.10.24-2020.10.28)] 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - On Using Ontologies for Testing Compilers

Li, Yihao, Wotawa, Franz

Year:

2020

File:

PDF, 144 KB

2020

77

[IEEE 2013 8th International Workshop on Automation of Software Test (AST) - San Francisco, CA, USA (2013.05.18-2013.05.19)] 2013 8th International Workshop on Automation of Software Test (AST) - XSS pattern for attack modeling in testing

Bozic, Josip, Wotawa, Franz

Year:

2013

Language:

english

File:

PDF, 400 KB

english, 2013

78

[IEEE 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Mutation-based spreadsheet debugging

Hofer, Birgit, Wotawa, Franz

Year:

2013

Language:

english

File:

PDF, 358 KB

english, 2013

79

[IEEE 2009 Fourth International Conference on Software Engineering Advances (ICSEA) - Porto, Portugal (2009.09.20-2009.09.25)] 2009 Fourth International Conference on Software Engineering Advances - Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine

Ahsan, Syed Nadeem, Ferzund, Javed, Wotawa, Franz

Year:

2009

Language:

english

File:

PDF, 471 KB

english, 2009

80

[ACM Press the Sixth sixth international symposium - Monterey, California, USA (2005.09.19-2005.09.21)] Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05 - Error traces in model-based debugging of hardware description languages

Peischl, Bernhard, Wotawa, Franz

Year:

2005

Language:

english

File:

PDF, 135 KB

english, 2005

81

[IEEE 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Vienna, Austria (2016.8.1-2016.8.3)] 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test

Felbinger, Hermann, Wotawa, Franz, Nica, Mihai

Year:

2016

Language:

english

File:

PDF, 247 KB

english, 2016

82

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || CEVM: Constrained Evidential Vocabulary Maintenance Policy for CBR Systems

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 832 KB

english, 2019

83

Improving Fault-based Conformance Testing

Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 441 KB

english, 2008

84

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Jöbstl, Elisabeth, Weiglhofer, Martin, Aichernig, Bernhard K., Wotawa, Franz

Year:

2010

Language:

english

File:

PDF, 477 KB

english, 2010

85

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || Intelligent Online Configuration for DVFS Multiprocessor Architecture: Fuzzy Approach

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 766 KB

english, 2019

86

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || A Wearable Fall Detection System Using Deep Learning

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 784 KB

english, 2019

87

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

Aichernig, Bernhard K., Peischl, Bernhard, Weiglhofer, Martin, Wotawa, Franz

Year:

2007

Language:

english

File:

PDF, 456 KB

english, 2007

88

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Test Patterns for Verilog Design Error Localization

Peischl, Bernhard, Riaz, Naveed, Wotawa, Franz

Year:

2009

Language:

english

File:

PDF, 318 KB

english, 2009

89

[IEEE 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE 25th International Symposium on Software Reliability Engineering - Why Does my Spreadsheet Compute Wrong Values?

Hofer, Birgit, Wotawa, Franz

Year:

2014

Language:

english

File:

PDF, 369 KB

english, 2014

90

[IEEE 2016 International Conference on Software Security and Assurance (ICSSA) - St. Pölten, Austria (2016.8.24-2016.8.25)] 2016 International Conference on Software Security and Assurance (ICSSA) - On the Automation of Security Testing

Year:

2016

Language:

english

File:

PDF, 410 KB

english, 2016

91

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Qualitative Deviation Models for Spreadsheet Debugging

Hofer, Birgit, Nica, Iulia, Wotawa, Franz

Year:

2017

Language:

english

File:

PDF, 6.89 MB

english, 2017

92

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, Roxane, Wotawa, Franz

Journal:

Applied Intelligence

Year:

2018

Language:

english

File:

PDF, 1.46 MB

english, 2018

93

Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction

Li, Yihao, Wong, W. Eric, Lee, Shou-Yu, Wotawa, Franz

Journal:

Year:

2019

Language:

english

File:

PDF, 59 KB

english, 2019

94

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || User-Adaptive Preparation of Mathematical Puzzles Using Item Response Theory and Deep Learning

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 451 KB

english, 2019

95

[Lecture Notes in Computer Science] Advances and Trends in Artificial Intelligence. From Theory to Practice Volume 11606 (32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings) || An Investigation of a Bi-level Non-dominated Sorting Algorithm for Production-Distribution Planning System

Wotawa, Franz, Friedrich, Gerhard, Pill, Ingo, Koitz-Hristov, Roxane, Ali, Moonis

Year:

2019

Language:

english

File:

PDF, 511 KB

english, 2019

96

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application

Eitner, Christian, Wotawa, Franz

Year:

2019

Language:

english

File:

PDF, 85 KB

english, 2019

97

[IEEE 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Berlin, Germany (2019.10.27-2019.10.30)] 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Extending Automated FLTL Test Oracles with Diagnostic Support

Pill, Ingo, Wotawa, Franz

Year:

2019

File:

PDF, 6.49 MB

2019

98

Issues in using model checkers for test case generation

Gordon Fraser, Franz Wotawa, Paul Ammann

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 474 KB

english, 2009

99

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Fifty Shades of Grey in SOA Testing

Wotawa, Franz, Schulz, Marco, Pill, Ingo, Jehan, Seema, Leitner, Philipp, Hummer, Waldemar, Schulte, Stefan, Hoenisch, Philipp, Dustdar, Schahram

Year:

2013

Language:

english

File:

PDF, 586 KB

english, 2013

100

[ACM Press the 9th International Workshop - Hyderabad, India (2014.05.31-2014.06.01)] Proceedings of the 9th International Workshop on Automation of Software Test - AST 2014 - Attack pattern-based combinatorial testing

Bozic, Josip, Simos, Dimitris E., Wotawa, Franz

Year:

2014

Language:

english

File:

PDF, 272 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски