Veröffentlichungen suchen

In allen Inhalten suchen

Filters für Veröffentlichungen

Konzepte suchen
Ausgewählte Filter

Erscheinungsjahr

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Autor

  • Franz Wotawa
2011

(Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract

Wotawa, F., 2011, Proceedings of the Austrian Robotics Workshop. ., S. 9-11

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS

Chimisliu, V. C. & Wotawa, F., 2011, Proc. of the 6th International Workshop on Automation of Software Test. ., S. 8-14

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Adaptive autonomous systems - From the system's architecture to testing

Wotawa, F., 2011, (Angenommen/In Druck) Proceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics Systems. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

An Abstract Operational Framework for Dependence Models in Software Debugging

Peischl, B. & Wotawa, F., 2011, (Angenommen/In Druck) Proceedings of the ICST Workshop on Testing and Debugging (TeBug). Institute of Electrical and Electronics Engineers

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Compositional Random Testing Using Extended Symbolic Transition Systems

Schwarzl, C., Aichernig, B. & Wotawa, F., 2011, Testing Software and Systems. Wolff, B. & Zaïdi, F. (Hrsg.). Springer Verlag, Band 7019. S. 179-194 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases

Wotawa, F., Nica, S. A. & Nica, M., 2011, (Angenommen/In Druck) Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011). .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Detecting Equivalent Mutants by Means of Constraint Systems

Nica, S. A., Nica, M. & Wotawa, F., 2011, (Angenommen/In Druck) The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011). .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Diagnosis-based reconfiguration using the MINION constraint solver

Nica, I-D. & Wotawa, F., 2011.

Publikation: KonferenzbeitragPosterForschung

Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots

Steinbauer, G. & Wotawa, F., 2011, (Angenommen/In Druck) ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Pill, I. H., Quaritsch, T. & Wotawa, F., 2011.

Publikation: KonferenzbeitragPosterForschung

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Pill, I. H., Quaritsch, T. & Wotawa, F., 2011, 22nd International Workshop on Principles of Diagnosis. ., S. 203-210

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

How to combine slicing-hitting-set-computation with spectrum-based fault localization

Hofer, B. G. & Wotawa, F., 2011, 22nd International Workshop on Principles of Diagnosis. ., S. 114-121

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Is Mutation Testing Scalable for Real-World Software Projects?

Nica, S. A., Ramler, R. & Wotawa, F., 2011, (Angenommen/In Druck) The Third International Conference on Advances in System Testing and Validation Lifecycle. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Modellbasiertes Testen (MBT) in der Softwareentwicklung

Aichernig, B., Peischl, B. & Wotawa, F., 2011, in : TU Graz Research. 5, S. 16-18

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems

Steinbauer, G. & Wotawa, F., 2011, International Workshop on Principles of Diagnosis. ., S. 167-170

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

On the use of constraints in dynamic slicing for program debugging

Wotawa, F., 2011, (Angenommen/In Druck) Proceedings of the ICST Workshop on Testing and Debugging (TeBug). Institute of Electrical and Electronics Engineers

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Program debugging using constraints – Is it feasible?

Wotawa, F. & Nica, M., 2011, Proceedings of the 11th International Conference on Quality Software (QSIC). Institute of Electrical and Electronics Engineers, S. 236-243

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

SiMoL– A Modeling Language for Simulation and (Re-)Configuration

Nica, I-D. & Wotawa, F., 2011, Workshop on Configuration. ., S. 40-43

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Test case generation in practice for communicating embedded systems

Schwarzl, C. & Wotawa, F., 2011, in : e&i - Elektrotechnik und Informationstechnik. S. 240-244

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking

Galler, S., Quaritsch, T., Weiglhofer, M. & Wotawa, F., 2011, 11th International Conference On Quality Software. ., S. 1-10

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2012

Adaptive Autonomous Systems – From the System’s Architecture to Testing

Wotawa, F., 2012, Leveraging Applications of Formal Methods, Verification, and Validation. Hähnle, R., Knoop, J., Margaria, T., Schreiner, D. & Steffen, B. (Hrsg.). Springer, Band 336. S. 76-90 (Communications in Computer and Information Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

AI for the win: improving spectrum-based fault localization

Hofer, B. G., Wotawa, F. & Abreu, R., 2012, ACM SIGSOFT Software Engineering Notes. New York, NY, USA: Association of Computing Machinery, S. 1-8

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Automated debugging based on a constraint model of the program and a test case

Wotawa, F., Nica, M. & Nica, I-D., 2012, in : The journal of logic and algebraic programming. 81, 4, S. 390-407

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Automated Debugging of Verilog Designs

Peischl, B., Riaz, N. & Wotawa, F., 2012, in : International journal of software engineering and knowledge engineering. 22, 5, S. 695-723

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Category Partition Method and Satisfiability Modulo Theories for Test Case Generation

Chimisliu, V. C. & Wotawa, F., 2012, (Angenommen/In Druck) Proc. of the International Workshop on Automation of Software Test. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach

Hofer, B. G. & Wotawa, F., 2012, in : Advances in Software Engineering. 18 S., ID 628571.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

ConDiag - Computing minimal diagnoses using a constraint solver

Nica, I-D. & Wotawa, F., 2012.

Publikation: KonferenzbeitragPosterForschung

Constraint-based Debugging of Spreadsheets

Abreu, R., Riboira, A. & Wotawa, F., 2012, (Angenommen/In Druck) Proceedings of the 15th Ibero-American Conference on Software Engineering. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Debugging of Spreadsheets: A CSPbased Approach

Abreu, R., Riboira, A. & Wotawa, F., 2012, Software Reliability Engineering Workshops (ISSREW). ., S. 159-164

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot

Weber, J. & Wotawa, F., 2012, in : Applied Intelligence. 36, S. 511-528

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems

Nica, S. A. & Wotawa, F., 2012, Workshop on Intelligent Solutions in Embedded Systems. ., S. 57-62

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-based simulation and configuration of mobile phone networks – The SIMOA Approach

Nica, I-D., Wotawa, F., Ochenbauer, R., Schober, C., Hofbauer, H. & Boltek, S., 2012, Proc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks. ., S. 12-17

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model Based Test Case Generation for Distributed Embedded Systems

Chimisliu, V. C. & Wotawa, F., 2012, International Conference on Industrial Technology. ., S. p-p

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-based Testing - From Safety to Security

Bozic, J. & Wotawa, F., 2012, Workshop on System Testing and Validation. ., S. 9-16

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open research challenges of localizing faults in programs using constraints

Wotawa, F., 2012, (Angenommen/In Druck) Proceedings of the 4th Workshop on Constraints in Software Testing, Verification, and Analysis. Institute of Electrical and Electronics Engineers

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Reducing the size of dynamic slicing with constraint solving

Hofer, B. G. & Wotawa, F., 2012, 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. Tang, A. (Hrsg.). Institute of Electrical and Electronics Engineers, S. 41-48 (QSIC).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Selective Belief Management for High-­‐Level Robot Programs

Podesser, S., Steinbauer, G. & Wotawa, F., 2012, (Angenommen/In Druck) International Workshop on Principles of Diagnosis. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Spectrum Enhanced Dynamic Slicing for better Fault Localization

Hofer, B. G. & Wotawa, F., 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence.. Raedt, L. D. (Hrsg.). IOS Press, Band 242. S. 420-425 (ECAI).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Spectrum Enhanced Dynamic Slicing for Fault Localization

Hofer, B. G. & Wotawa, F., 2012, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei

The SiMoL Modeling Language for Simulation and (Re-) Configuration

Nica, I-D. & Wotawa, F., 2012, SOFSEM - Conference on Current Trends in Theory and Practice of Informatics. ., Band 7147. S. 661-672 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Using Constraints for Equivalent Mutant Detection

Nica, S. A. & Wotawa, F., 2012, (Angenommen/In Druck) Workshop on Formal Methods in the Development of Software. .

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2013

(Re-)configuration of Communication Networks in the Context of M2M Applications

Nica, I-D. & Wotawa, F., 2013, Proceedings of the International Configuration Workshop. ., S. 101-108

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Fifty Shades of Grey in SOA Testing

Jehan, S., Pill, I. H., Wotawa, F., Schulz, M., Philipp Leitner, N. V., Waldemar Hummer, N. V., Stefan Schulte, N. V., Philipp Hoenisch, N. V. & Schahram Dustdar, N. V., 2013, Workshop on Advances in Model Based Testing (A-MOST). ., S. 154-157

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Functional SOA testing based on constraints

Jehan, S., Pill, I. H. & Wotawa, F., 2013, International Workshop on Automation of Software Test. ., S. 33-39

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences

Chimisliu, V. C. & Wotawa, F., 2013, International Conference on Quality Software. ., S. 125-134

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Intelligent Engineering Techniques for Knowledge Bases

Felfernig, A. & Wotawa, F., 2013, in : AI Communications. 26, S. 1-2

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Model-Based Reasoning for Self-Adaptive Systems – Theory and Practice

Steinbauer, G. & Wotawa, F., 2013, Assurances for Self-Adaptive Systems. Springer, Band 7475. S. 187-213 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Mutation-based spreadsheet debugging

Hofer, B. G. & Wotawa, F., 2013, Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on. ., S. 132-137

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung