The following pages link to Franz Wotawa (Q236278):
Displaying 24 items.
- (Q197483) (redirect page) (← links)
- Automated debugging based on a constraint model of the program and a test case (Q444487) (← links)
- Debugging hardware designs using a value-based model (Q1395643) (← links)
- A variant of Reiter's hitting-set algorithm (Q1603435) (← links)
- Model-based diagnosis of hardware designs (Q1606301) (← links)
- Debugging VHDL designs: Introducing multiple models and first empirical results (Q1768500) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Deriving qualitative rules from neural networks -- a case study for ozone forecasting (Q2758773) (← links)
- (Q2772512) (← links)
- (Q3590849) (← links)
- (Q3605733) (← links)
- (Q3619268) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- (Q4450892) (← links)
- (Q4781953) (← links)
- (Q4797440) (← links)
- (Q4797445) (← links)
- (Q4808499) (← links)
- Fault Detection and Localization Using Modelica and Abductive Reasoning (Q5117248) (← links)
- Diagnosing tree-structured systems (Q5940958) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)
- Investigating Reproducibility in Deep Learning-Based Software Fault Prediction (Q6709266) (← links)
- RailwayReq Corpus (Q6709269) (← links)
- Data and Sourcecode from: Neural Network-based Occupancy Detection on the Edge (Q6709274) (← links)
