Ingo Pill

According to our database1, Ingo Pill authored at least 31 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Automated generation of (F)LTL oracles for testing and debugging.
Journal of Systems and Software, 2018

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation.
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Spectrum-Based Fault Localization for Logic-Based Reasoning.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction.
Proceedings of the Testing Software and Systems, 2017

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model.
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016
Classifying Test Suite Effectiveness via Model Inference and ROBBDs.
Proceedings of the Tests and Proofs - 10th International Conference, 2016

Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

An Automated (F) LTL Test Oracle for Testing with Requirements.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Synthesizing adaptive test strategies from temporal logic specifications.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
Parse tree structure in LTL requirements diagnosis.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Analyzing the reduction of test suite redundancy.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Focused Diagnosis for Failing Software Tests.
Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015

BPEL Integration Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
SOA Testing via Random Paths in BPEL Models.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Testing Configuration Knowledge-Bases.
Proceedings of the 16th International Configuration Workshop, 2014

2013
On classification and modeling issues in distributed model-based diagnosis.
AI Commun., 2013

Maintaining consistency in a robot's knowledge-base via diagnostic reasoning.
AI Commun., 2013

Behavioral Diagnosis of LTL Specifications at Operator Level.
Proceedings of the IJCAI 2013, 2013

The Route to Success - A Performance Comparison of Diagnosis Algorithms.
Proceedings of the IJCAI 2013, 2013

Fifty Shades of Grey in SOA Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

SOA Grey Box Testing - A Constraint-Based Approach.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics.
Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013

Functional SOA testing based on constraints.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

2012
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets.
Proceedings of the ECAI 2012, 2012

2011
Belief Management for High-Level Robot Programs.
Proceedings of the IJCAI 2011, 2011

2007
Symbolic Implementation of Alternating Automata.
Int. J. Found. Comput. Sci., 2007

RAT: A Tool for the Formal Analysis of Requirements.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Symbolic Implementation of Alternating Automata.
Proceedings of the Implementation and Application of Automata, 2006

Formal analysis of hardware requirements.
Proceedings of the 43rd Design Automation Conference, 2006


  Loading...